(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 8.0' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       157,          7]
NotebookDataLength[    195102,       4482]
NotebookOptionsPosition[     88957,       2099]
NotebookOutlinePosition[    187647,       4296]
CellTagsIndexPosition[    187528,       4290]
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[TextData[{
 "The ",
 Cell[BoxData[
  FormBox[
   SuperscriptBox["Mathematica", "\[RegisteredTrademark]"], TraditionalForm]]],
 " Journal"
}], "OnlineHeader",
 CellTags->"OnlineHeader"],

Cell[CellGroupData[{

Cell["Prime gap subsequence repeats twice then infinitely times", "Title",
 CellChangeTimes->{3.729305962597356*^9, 
  3.7293063213256655`*^9},ExpressionUUID->"526298d9-7ba5-42aa-8a15-\
f096009df897"],

Cell["twice then often", "Subtitle",
 CellChangeTimes->{{3.7293059826902328`*^9, 3.7293059890703354`*^9}, {
  3.7293061982444596`*^9, 
  3.729306205722484*^9}},ExpressionUUID->"7f8fab4a-5586-42df-b07b-\
66a854dcd13d"],

Cell["\<\
Cody Luo (cody@ustc.edu)
Enter Additional Author Here\
\>", "Author",
 CellChangeTimes->{{3.729306232907626*^9, 
  3.729306255118923*^9}},ExpressionUUID->"50660bc0-35b8-4f74-bd2a-\
af91740044d7"],

Cell[TextData[{
 "Any prime gap subsequence ",
 Cell[BoxData[
  FormBox["s", TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "266a82fa-e375-4e60-aa1b-c4ffb626f3e9"],
 ", ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"Length", 
     RowBox[{"(", "s", ")"}]}], "=", "len"}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "c88dc642-e5cc-4051-ac43-329359d8fd63"],
 ",  if s occurs twice in the prime gap sequence, then s will continue to \
appear,  until infinitely times. if s recently twice occurs in prime gap \
sequence at index ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["i", "k"], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "424511de-f53b-49e2-847a-5439d890d6ef"],
 "and ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["i", 
    RowBox[{"k", "+", "1"}]], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "3dcc985b-7e2f-42a9-9f1c-bb82e4fb3f84"],
 " , the next time: "
}], "Abstract",
 CellChangeTimes->{
  3.7293203048709555`*^9, {3.729320357338879*^9, 
   3.729320397427106*^9}},ExpressionUUID->"8a0c0caf-d00f-4182-91cb-\
2cdcc7bed9a9"],

Cell[BoxData[
 FormBox[
  RowBox[{
   SubscriptBox["i", 
    RowBox[{"k", "+", "2"}]], " ", "\[LessSlantEqual]", 
   SuperscriptBox[
    RowBox[{"(", 
     RowBox[{
      SubscriptBox["i", "k"], "+", " ", 
      SubscriptBox["i", 
       RowBox[{"k", "+", "1"}]]}], ")"}], "len"]}], 
  TraditionalForm]], "DisplayFormula",
 CellChangeTimes->{
  3.7293204124530125`*^9},ExpressionUUID->"76b89933-493d-4539-8876-\
c313e62a22e5"],

Cell["How to predict .", "Abstract",
 CellChangeTimes->{{3.7293213116517124`*^9, 
  3.729321322626173*^9}},ExpressionUUID->"7d0f96a3-1a01-4a14-8624-\
4000289eed6a"],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Prime Gap Subsequence Theorem",
 FontWeight->"Bold"]], "Section",
 CellChangeTimes->{
  3.729309507565836*^9},ExpressionUUID->"1a04ebe1-4f72-4ddb-bc44-\
65719f7c3136"],

Cell[TextData[{
 "Denote p[i] as the i-th prime. Let ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"g", "[", "i", "]"}], "=", 
    RowBox[{
     RowBox[{"p", "[", 
      RowBox[{"i", "+", "1"}], "]"}], "-", 
     RowBox[{"p", "[", "i", "]"}]}]}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "2eece468-f689-45da-bcad-a742ea0c5948"],
 " is the i-th prime gap, for ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"i", "=", "1"}], ",", "2", ",", "3", ",", "..."}], 
   TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "2a05c04b-259d-4bd0-a747-1ee56a574939"],
 "\n",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"{", 
     RowBox[{"g", "[", "i", "]"}], "}"}], "=", 
    RowBox[{"{", 
     RowBox[{
     "1", ",", "2", ",", "2", ",", "4", ",", "2", ",", "4", ",", "..."}], 
     "}"}]}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "be301aa8-4254-45e5-a78e-7609e7302fb1"],
 " is the prime gap sequence."
}], "Text",
 CellChangeTimes->{{3.729306496851719*^9, 3.729306607494725*^9}, {
  3.7293067045933914`*^9, 3.7293067744870787`*^9}},
 CellID->45678601,ExpressionUUID->"26e1d6e4-a685-45b1-9fc0-61e19afc3953"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"p", "=", "Prime"}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{
   RowBox[{"g", "[", "i_Integer", "]"}], ":=", 
   RowBox[{
    RowBox[{"p", "[", 
     RowBox[{"i", "+", "1"}], "]"}], "-", 
    RowBox[{"p", "[", "i", "]"}]}]}], ";"}], "\[IndentingNewLine]", 
 RowBox[{"M", "=", "1000"}], "\[IndentingNewLine]", 
 RowBox[{"Table", "[", 
  RowBox[{
   RowBox[{"p", "[", "i", "]"}], ",", 
   RowBox[{"{", 
    RowBox[{"i", ",", "1", ",", 
     RowBox[{"M", "+", "1"}]}], "}"}]}], "]"}], "\[IndentingNewLine]", 
 RowBox[{"Table", "[", 
  RowBox[{
   RowBox[{"g", "[", "i", "]"}], ",", 
   RowBox[{"{", 
    RowBox[{"i", ",", "1", ",", "M"}], "}"}]}], "]"}]}], "Input",
 CellChangeTimes->{{3.7293092550721836`*^9, 3.729309348964932*^9}, {
   3.7293093903070855`*^9, 3.729309425282462*^9}, 3.7293119121788197`*^9, 
   3.7293175333829823`*^9},
 CellID->399860821,ExpressionUUID->"77022b61-3d76-4356-8aea-e93de9d299a5"],

Cell[BoxData["Prime"], "Output",
 CellChangeTimes->{3.7293093566002812`*^9, 3.7293094269287148`*^9, 
  3.729310405345338*^9, 3.729312038045828*^9, 3.7293175347601614`*^9},
 CellID->14541956,ExpressionUUID->"c40d6366-7a9b-4288-abff-c5a608cff9aa"],

Cell[BoxData["1000"], "Output",
 CellChangeTimes->{3.7293093566002812`*^9, 3.7293094269287148`*^9, 
  3.729310405345338*^9, 3.729312038045828*^9, 3.7293175347690926`*^9},
 CellID->337778879,ExpressionUUID->"53bf7571-f948-4f7e-b876-c7bd6cf713a1"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
  "2", ",", "3", ",", "5", ",", "7", ",", "11", ",", "13", ",", "17", ",", 
   "19", ",", "23", ",", "29", ",", "31", ",", "37", ",", "41", ",", "43", 
   ",", "47", ",", "53", ",", "59", ",", "61", ",", "67", ",", "71", ",", 
   "73", ",", "79", ",", "83", ",", "89", ",", "97", ",", "101", ",", "103", 
   ",", "107", ",", "109", ",", "113", ",", "127", ",", "131", ",", "137", 
   ",", "139", ",", "149", ",", "151", ",", "157", ",", "163", ",", "167", 
   ",", "173", ",", "179", ",", "181", ",", "191", ",", "193", ",", "197", 
   ",", "199", ",", "211", ",", "223", ",", "227", ",", "229", ",", "233", 
   ",", "239", ",", "241", ",", "251", ",", "257", ",", "263", ",", "269", 
   ",", "271", ",", "277", ",", "281", ",", "283", ",", "293", ",", "307", 
   ",", "311", ",", "313", ",", "317", ",", "331", ",", "337", ",", "347", 
   ",", "349", ",", "353", ",", "359", ",", "367", ",", "373", ",", "379", 
   ",", "383", ",", "389", ",", "397", ",", "401", ",", "409", ",", "419", 
   ",", "421", ",", "431", ",", "433", ",", "439", ",", "443", ",", "449", 
   ",", "457", ",", "461", ",", "463", ",", "467", ",", "479", ",", "487", 
   ",", "491", ",", "499", ",", "503", ",", "509", ",", "521", ",", "523", 
   ",", "541", ",", "547", ",", "557", ",", "563", ",", "569", ",", "571", 
   ",", "577", ",", "587", ",", "593", ",", "599", ",", "601", ",", "607", 
   ",", "613", ",", "617", ",", "619", ",", "631", ",", "641", ",", "643", 
   ",", "647", ",", "653", ",", "659", ",", "661", ",", "673", ",", "677", 
   ",", "683", ",", "691", ",", "701", ",", "709", ",", "719", ",", "727", 
   ",", "733", ",", "739", ",", "743", ",", "751", ",", "757", ",", "761", 
   ",", "769", ",", "773", ",", "787", ",", "797", ",", "809", ",", "811", 
   ",", "821", ",", "823", ",", "827", ",", "829", ",", "839", ",", "853", 
   ",", "857", ",", "859", ",", "863", ",", "877", ",", "881", ",", "883", 
   ",", "887", ",", "907", ",", "911", ",", "919", ",", "929", ",", "937", 
   ",", "941", ",", "947", ",", "953", ",", "967", ",", "971", ",", "977", 
   ",", "983", ",", "991", ",", "997", ",", "1009", ",", "1013", ",", "1019", 
   ",", "1021", ",", "1031", ",", "1033", ",", "1039", ",", "1049", ",", 
   "1051", ",", "1061", ",", "1063", ",", "1069", ",", "1087", ",", "1091", 
   ",", "1093", ",", "1097", ",", "1103", ",", "1109", ",", "1117", ",", 
   "1123", ",", "1129", ",", "1151", ",", "1153", ",", "1163", ",", "1171", 
   ",", "1181", ",", "1187", ",", "1193", ",", "1201", ",", "1213", ",", 
   "1217", ",", "1223", ",", "1229", ",", "1231", ",", "1237", ",", "1249", 
   ",", "1259", ",", "1277", ",", "1279", ",", "1283", ",", "1289", ",", 
   "1291", ",", "1297", ",", "1301", ",", "1303", ",", "1307", ",", "1319", 
   ",", "1321", ",", "1327", ",", "1361", ",", "1367", ",", "1373", ",", 
   "1381", ",", "1399", ",", "1409", ",", "1423", ",", "1427", ",", "1429", 
   ",", "1433", ",", "1439", ",", "1447", ",", "1451", ",", "1453", ",", 
   "1459", ",", "1471", ",", "1481", ",", "1483", ",", "1487", ",", "1489", 
   ",", "1493", ",", "1499", ",", "1511", ",", "1523", ",", "1531", ",", 
   "1543", ",", "1549", ",", "1553", ",", "1559", ",", "1567", ",", "1571", 
   ",", "1579", ",", "1583", ",", "1597", ",", "1601", ",", "1607", ",", 
   "1609", ",", "1613", ",", "1619", ",", "1621", ",", "1627", ",", "1637", 
   ",", "1657", ",", "1663", ",", "1667", ",", "1669", ",", "1693", ",", 
   "1697", ",", "1699", ",", "1709", ",", "1721", ",", "1723", ",", "1733", 
   ",", "1741", ",", "1747", ",", "1753", ",", "1759", ",", "1777", ",", 
   "1783", ",", "1787", ",", "1789", ",", "1801", ",", "1811", ",", "1823", 
   ",", "1831", ",", "1847", ",", "1861", ",", "1867", ",", "1871", ",", 
   "1873", ",", "1877", ",", "1879", ",", "1889", ",", "1901", ",", "1907", 
   ",", "1913", ",", "1931", ",", "1933", ",", "1949", ",", "1951", ",", 
   "1973", ",", "1979", ",", "1987", ",", "1993", ",", "1997", ",", "1999", 
   ",", "2003", ",", "2011", ",", "2017", ",", "2027", ",", "2029", ",", 
   "2039", ",", "2053", ",", "2063", ",", "2069", ",", "2081", ",", "2083", 
   ",", "2087", ",", "2089", ",", "2099", ",", "2111", ",", "2113", ",", 
   "2129", ",", "2131", ",", "2137", ",", "2141", ",", "2143", ",", "2153", 
   ",", "2161", ",", "2179", ",", "2203", ",", "2207", ",", "2213", ",", 
   "2221", ",", "2237", ",", "2239", ",", "2243", ",", "2251", ",", "2267", 
   ",", "2269", ",", "2273", ",", "2281", ",", "2287", ",", "2293", ",", 
   "2297", ",", "2309", ",", "2311", ",", "2333", ",", "2339", ",", "2341", 
   ",", "2347", ",", "2351", ",", "2357", ",", "2371", ",", "2377", ",", 
   "2381", ",", "2383", ",", "2389", ",", "2393", ",", "2399", ",", "2411", 
   ",", "2417", ",", "2423", ",", "2437", ",", "2441", ",", "2447", ",", 
   "2459", ",", "2467", ",", "2473", ",", "2477", ",", "2503", ",", "2521", 
   ",", "2531", ",", "2539", ",", "2543", ",", "2549", ",", "2551", ",", 
   "2557", ",", "2579", ",", "2591", ",", "2593", ",", "2609", ",", "2617", 
   ",", "2621", ",", "2633", ",", "2647", ",", "2657", ",", "2659", ",", 
   "2663", ",", "2671", ",", "2677", ",", "2683", ",", "2687", ",", "2689", 
   ",", "2693", ",", "2699", ",", "2707", ",", "2711", ",", "2713", ",", 
   "2719", ",", "2729", ",", "2731", ",", "2741", ",", "2749", ",", "2753", 
   ",", "2767", ",", "2777", ",", "2789", ",", "2791", ",", "2797", ",", 
   "2801", ",", "2803", ",", "2819", ",", "2833", ",", "2837", ",", "2843", 
   ",", "2851", ",", "2857", ",", "2861", ",", "2879", ",", "2887", ",", 
   "2897", ",", "2903", ",", "2909", ",", "2917", ",", "2927", ",", "2939", 
   ",", "2953", ",", "2957", ",", "2963", ",", "2969", ",", "2971", ",", 
   "2999", ",", "3001", ",", "3011", ",", "3019", ",", "3023", ",", "3037", 
   ",", "3041", ",", "3049", ",", "3061", ",", "3067", ",", "3079", ",", 
   "3083", ",", "3089", ",", "3109", ",", "3119", ",", "3121", ",", "3137", 
   ",", "3163", ",", "3167", ",", "3169", ",", "3181", ",", "3187", ",", 
   "3191", ",", "3203", ",", "3209", ",", "3217", ",", "3221", ",", "3229", 
   ",", "3251", ",", "3253", ",", "3257", ",", "3259", ",", "3271", ",", 
   "3299", ",", "3301", ",", "3307", ",", "3313", ",", "3319", ",", "3323", 
   ",", "3329", ",", "3331", ",", "3343", ",", "3347", ",", "3359", ",", 
   "3361", ",", "3371", ",", "3373", ",", "3389", ",", "3391", ",", "3407", 
   ",", "3413", ",", "3433", ",", "3449", ",", "3457", ",", "3461", ",", 
   "3463", ",", "3467", ",", "3469", ",", "3491", ",", "3499", ",", "3511", 
   ",", "3517", ",", "3527", ",", "3529", ",", "3533", ",", "3539", ",", 
   "3541", ",", "3547", ",", "3557", ",", "3559", ",", "3571", ",", "3581", 
   ",", "3583", ",", "3593", ",", "3607", ",", "3613", ",", "3617", ",", 
   "3623", ",", "3631", ",", "3637", ",", "3643", ",", "3659", ",", "3671", 
   ",", "3673", ",", "3677", ",", "3691", ",", "3697", ",", "3701", ",", 
   "3709", ",", "3719", ",", "3727", ",", "3733", ",", "3739", ",", "3761", 
   ",", "3767", ",", "3769", ",", "3779", ",", "3793", ",", "3797", ",", 
   "3803", ",", "3821", ",", "3823", ",", "3833", ",", "3847", ",", "3851", 
   ",", "3853", ",", "3863", ",", "3877", ",", "3881", ",", "3889", ",", 
   "3907", ",", "3911", ",", "3917", ",", "3919", ",", "3923", ",", "3929", 
   ",", "3931", ",", "3943", ",", "3947", ",", "3967", ",", "3989", ",", 
   "4001", ",", "4003", ",", "4007", ",", "4013", ",", "4019", ",", "4021", 
   ",", "4027", ",", "4049", ",", "4051", ",", "4057", ",", "4073", ",", 
   "4079", ",", "4091", ",", "4093", ",", "4099", ",", "4111", ",", "4127", 
   ",", "4129", ",", "4133", ",", "4139", ",", "4153", ",", "4157", ",", 
   "4159", ",", "4177", ",", "4201", ",", "4211", ",", "4217", ",", "4219", 
   ",", "4229", ",", "4231", ",", "4241", ",", "4243", ",", "4253", ",", 
   "4259", ",", "4261", ",", "4271", ",", "4273", ",", "4283", ",", "4289", 
   ",", "4297", ",", "4327", ",", "4337", ",", "4339", ",", "4349", ",", 
   "4357", ",", "4363", ",", "4373", ",", "4391", ",", "4397", ",", "4409", 
   ",", "4421", ",", "4423", ",", "4441", ",", "4447", ",", "4451", ",", 
   "4457", ",", "4463", ",", "4481", ",", "4483", ",", "4493", ",", "4507", 
   ",", "4513", ",", "4517", ",", "4519", ",", "4523", ",", "4547", ",", 
   "4549", ",", "4561", ",", "4567", ",", "4583", ",", "4591", ",", "4597", 
   ",", "4603", ",", "4621", ",", "4637", ",", "4639", ",", "4643", ",", 
   "4649", ",", "4651", ",", "4657", ",", "4663", ",", "4673", ",", "4679", 
   ",", "4691", ",", "4703", ",", "4721", ",", "4723", ",", "4729", ",", 
   "4733", ",", "4751", ",", "4759", ",", "4783", ",", "4787", ",", "4789", 
   ",", "4793", ",", "4799", ",", "4801", ",", "4813", ",", "4817", ",", 
   "4831", ",", "4861", ",", "4871", ",", "4877", ",", "4889", ",", "4903", 
   ",", "4909", ",", "4919", ",", "4931", ",", "4933", ",", "4937", ",", 
   "4943", ",", "4951", ",", "4957", ",", "4967", ",", "4969", ",", "4973", 
   ",", "4987", ",", "4993", ",", "4999", ",", "5003", ",", "5009", ",", 
   "5011", ",", "5021", ",", "5023", ",", "5039", ",", "5051", ",", "5059", 
   ",", "5077", ",", "5081", ",", "5087", ",", "5099", ",", "5101", ",", 
   "5107", ",", "5113", ",", "5119", ",", "5147", ",", "5153", ",", "5167", 
   ",", "5171", ",", "5179", ",", "5189", ",", "5197", ",", "5209", ",", 
   "5227", ",", "5231", ",", "5233", ",", "5237", ",", "5261", ",", "5273", 
   ",", "5279", ",", "5281", ",", "5297", ",", "5303", ",", "5309", ",", 
   "5323", ",", "5333", ",", "5347", ",", "5351", ",", "5381", ",", "5387", 
   ",", "5393", ",", "5399", ",", "5407", ",", "5413", ",", "5417", ",", 
   "5419", ",", "5431", ",", "5437", ",", "5441", ",", "5443", ",", "5449", 
   ",", "5471", ",", "5477", ",", "5479", ",", "5483", ",", "5501", ",", 
   "5503", ",", "5507", ",", "5519", ",", "5521", ",", "5527", ",", "5531", 
   ",", "5557", ",", "5563", ",", "5569", ",", "5573", ",", "5581", ",", 
   "5591", ",", "5623", ",", "5639", ",", "5641", ",", "5647", ",", "5651", 
   ",", "5653", ",", "5657", ",", "5659", ",", "5669", ",", "5683", ",", 
   "5689", ",", "5693", ",", "5701", ",", "5711", ",", "5717", ",", "5737", 
   ",", "5741", ",", "5743", ",", "5749", ",", "5779", ",", "5783", ",", 
   "5791", ",", "5801", ",", "5807", ",", "5813", ",", "5821", ",", "5827", 
   ",", "5839", ",", "5843", ",", "5849", ",", "5851", ",", "5857", ",", 
   "5861", ",", "5867", ",", "5869", ",", "5879", ",", "5881", ",", "5897", 
   ",", "5903", ",", "5923", ",", "5927", ",", "5939", ",", "5953", ",", 
   "5981", ",", "5987", ",", "6007", ",", "6011", ",", "6029", ",", "6037", 
   ",", "6043", ",", "6047", ",", "6053", ",", "6067", ",", "6073", ",", 
   "6079", ",", "6089", ",", "6091", ",", "6101", ",", "6113", ",", "6121", 
   ",", "6131", ",", "6133", ",", "6143", ",", "6151", ",", "6163", ",", 
   "6173", ",", "6197", ",", "6199", ",", "6203", ",", "6211", ",", "6217", 
   ",", "6221", ",", "6229", ",", "6247", ",", "6257", ",", "6263", ",", 
   "6269", ",", "6271", ",", "6277", ",", "6287", ",", "6299", ",", "6301", 
   ",", "6311", ",", "6317", ",", "6323", ",", "6329", ",", "6337", ",", 
   "6343", ",", "6353", ",", "6359", ",", "6361", ",", "6367", ",", "6373", 
   ",", "6379", ",", "6389", ",", "6397", ",", "6421", ",", "6427", ",", 
   "6449", ",", "6451", ",", "6469", ",", "6473", ",", "6481", ",", "6491", 
   ",", "6521", ",", "6529", ",", "6547", ",", "6551", ",", "6553", ",", 
   "6563", ",", "6569", ",", "6571", ",", "6577", ",", "6581", ",", "6599", 
   ",", "6607", ",", "6619", ",", "6637", ",", "6653", ",", "6659", ",", 
   "6661", ",", "6673", ",", "6679", ",", "6689", ",", "6691", ",", "6701", 
   ",", "6703", ",", "6709", ",", "6719", ",", "6733", ",", "6737", ",", 
   "6761", ",", "6763", ",", "6779", ",", "6781", ",", "6791", ",", "6793", 
   ",", "6803", ",", "6823", ",", "6827", ",", "6829", ",", "6833", ",", 
   "6841", ",", "6857", ",", "6863", ",", "6869", ",", "6871", ",", "6883", 
   ",", "6899", ",", "6907", ",", "6911", ",", "6917", ",", "6947", ",", 
   "6949", ",", "6959", ",", "6961", ",", "6967", ",", "6971", ",", "6977", 
   ",", "6983", ",", "6991", ",", "6997", ",", "7001", ",", "7013", ",", 
   "7019", ",", "7027", ",", "7039", ",", "7043", ",", "7057", ",", "7069", 
   ",", "7079", ",", "7103", ",", "7109", ",", "7121", ",", "7127", ",", 
   "7129", ",", "7151", ",", "7159", ",", "7177", ",", "7187", ",", "7193", 
   ",", "7207", ",", "7211", ",", "7213", ",", "7219", ",", "7229", ",", 
   "7237", ",", "7243", ",", "7247", ",", "7253", ",", "7283", ",", "7297", 
   ",", "7307", ",", "7309", ",", "7321", ",", "7331", ",", "7333", ",", 
   "7349", ",", "7351", ",", "7369", ",", "7393", ",", "7411", ",", "7417", 
   ",", "7433", ",", "7451", ",", "7457", ",", "7459", ",", "7477", ",", 
   "7481", ",", "7487", ",", "7489", ",", "7499", ",", "7507", ",", "7517", 
   ",", "7523", ",", "7529", ",", "7537", ",", "7541", ",", "7547", ",", 
   "7549", ",", "7559", ",", "7561", ",", "7573", ",", "7577", ",", "7583", 
   ",", "7589", ",", "7591", ",", "7603", ",", "7607", ",", "7621", ",", 
   "7639", ",", "7643", ",", "7649", ",", "7669", ",", "7673", ",", "7681", 
   ",", "7687", ",", "7691", ",", "7699", ",", "7703", ",", "7717", ",", 
   "7723", ",", "7727", ",", "7741", ",", "7753", ",", "7757", ",", "7759", 
   ",", "7789", ",", "7793", ",", "7817", ",", "7823", ",", "7829", ",", 
   "7841", ",", "7853", ",", "7867", ",", "7873", ",", "7877", ",", "7879", 
   ",", "7883", ",", "7901", ",", "7907", ",", "7919", ",", "7927"}], 
  "}"}]], "Output",
 CellChangeTimes->{3.7293093566002812`*^9, 3.7293094269287148`*^9, 
  3.729310405345338*^9, 3.729312038045828*^9, 3.729317534825127*^9},
 CellID->309801784,ExpressionUUID->"43f2cd2f-5012-480b-a233-f0737ab91613"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
  "1", ",", "2", ",", "2", ",", "4", ",", "2", ",", "4", ",", "2", ",", "4", 
   ",", "6", ",", "2", ",", "6", ",", "4", ",", "2", ",", "4", ",", "6", ",", 
   "6", ",", "2", ",", "6", ",", "4", ",", "2", ",", "6", ",", "4", ",", "6", 
   ",", "8", ",", "4", ",", "2", ",", "4", ",", "2", ",", "4", ",", "14", ",",
    "4", ",", "6", ",", "2", ",", "10", ",", "2", ",", "6", ",", "6", ",", 
   "4", ",", "6", ",", "6", ",", "2", ",", "10", ",", "2", ",", "4", ",", "2",
    ",", "12", ",", "12", ",", "4", ",", "2", ",", "4", ",", "6", ",", "2", 
   ",", "10", ",", "6", ",", "6", ",", "6", ",", "2", ",", "6", ",", "4", ",",
    "2", ",", "10", ",", "14", ",", "4", ",", "2", ",", "4", ",", "14", ",", 
   "6", ",", "10", ",", "2", ",", "4", ",", "6", ",", "8", ",", "6", ",", "6",
    ",", "4", ",", "6", ",", "8", ",", "4", ",", "8", ",", "10", ",", "2", 
   ",", "10", ",", "2", ",", "6", ",", "4", ",", "6", ",", "8", ",", "4", ",",
    "2", ",", "4", ",", "12", ",", "8", ",", "4", ",", "8", ",", "4", ",", 
   "6", ",", "12", ",", "2", ",", "18", ",", "6", ",", "10", ",", "6", ",", 
   "6", ",", "2", ",", "6", ",", "10", ",", "6", ",", "6", ",", "2", ",", "6",
    ",", "6", ",", "4", ",", "2", ",", "12", ",", "10", ",", "2", ",", "4", 
   ",", "6", ",", "6", ",", "2", ",", "12", ",", "4", ",", "6", ",", "8", ",",
    "10", ",", "8", ",", "10", ",", "8", ",", "6", ",", "6", ",", "4", ",", 
   "8", ",", "6", ",", "4", ",", "8", ",", "4", ",", "14", ",", "10", ",", 
   "12", ",", "2", ",", "10", ",", "2", ",", "4", ",", "2", ",", "10", ",", 
   "14", ",", "4", ",", "2", ",", "4", ",", "14", ",", "4", ",", "2", ",", 
   "4", ",", "20", ",", "4", ",", "8", ",", "10", ",", "8", ",", "4", ",", 
   "6", ",", "6", ",", "14", ",", "4", ",", "6", ",", "6", ",", "8", ",", "6",
    ",", "12", ",", "4", ",", "6", ",", "2", ",", "10", ",", "2", ",", "6", 
   ",", "10", ",", "2", ",", "10", ",", "2", ",", "6", ",", "18", ",", "4", 
   ",", "2", ",", "4", ",", "6", ",", "6", ",", "8", ",", "6", ",", "6", ",", 
   "22", ",", "2", ",", "10", ",", "8", ",", "10", ",", "6", ",", "6", ",", 
   "8", ",", "12", ",", "4", ",", "6", ",", "6", ",", "2", ",", "6", ",", 
   "12", ",", "10", ",", "18", ",", "2", ",", "4", ",", "6", ",", "2", ",", 
   "6", ",", "4", ",", "2", ",", "4", ",", "12", ",", "2", ",", "6", ",", 
   "34", ",", "6", ",", "6", ",", "8", ",", "18", ",", "10", ",", "14", ",", 
   "4", ",", "2", ",", "4", ",", "6", ",", "8", ",", "4", ",", "2", ",", "6", 
   ",", "12", ",", "10", ",", "2", ",", "4", ",", "2", ",", "4", ",", "6", 
   ",", "12", ",", "12", ",", "8", ",", "12", ",", "6", ",", "4", ",", "6", 
   ",", "8", ",", "4", ",", "8", ",", "4", ",", "14", ",", "4", ",", "6", ",",
    "2", ",", "4", ",", "6", ",", "2", ",", "6", ",", "10", ",", "20", ",", 
   "6", ",", "4", ",", "2", ",", "24", ",", "4", ",", "2", ",", "10", ",", 
   "12", ",", "2", ",", "10", ",", "8", ",", "6", ",", "6", ",", "6", ",", 
   "18", ",", "6", ",", "4", ",", "2", ",", "12", ",", "10", ",", "12", ",", 
   "8", ",", "16", ",", "14", ",", "6", ",", "4", ",", "2", ",", "4", ",", 
   "2", ",", "10", ",", "12", ",", "6", ",", "6", ",", "18", ",", "2", ",", 
   "16", ",", "2", ",", "22", ",", "6", ",", "8", ",", "6", ",", "4", ",", 
   "2", ",", "4", ",", "8", ",", "6", ",", "10", ",", "2", ",", "10", ",", 
   "14", ",", "10", ",", "6", ",", "12", ",", "2", ",", "4", ",", "2", ",", 
   "10", ",", "12", ",", "2", ",", "16", ",", "2", ",", "6", ",", "4", ",", 
   "2", ",", "10", ",", "8", ",", "18", ",", "24", ",", "4", ",", "6", ",", 
   "8", ",", "16", ",", "2", ",", "4", ",", "8", ",", "16", ",", "2", ",", 
   "4", ",", "8", ",", "6", ",", "6", ",", "4", ",", "12", ",", "2", ",", 
   "22", ",", "6", ",", "2", ",", "6", ",", "4", ",", "6", ",", "14", ",", 
   "6", ",", "4", ",", "2", ",", "6", ",", "4", ",", "6", ",", "12", ",", "6",
    ",", "6", ",", "14", ",", "4", ",", "6", ",", "12", ",", "8", ",", "6", 
   ",", "4", ",", "26", ",", "18", ",", "10", ",", "8", ",", "4", ",", "6", 
   ",", "2", ",", "6", ",", "22", ",", "12", ",", "2", ",", "16", ",", "8", 
   ",", "4", ",", "12", ",", "14", ",", "10", ",", "2", ",", "4", ",", "8", 
   ",", "6", ",", "6", ",", "4", ",", "2", ",", "4", ",", "6", ",", "8", ",", 
   "4", ",", "2", ",", "6", ",", "10", ",", "2", ",", "10", ",", "8", ",", 
   "4", ",", "14", ",", "10", ",", "12", ",", "2", ",", "6", ",", "4", ",", 
   "2", ",", "16", ",", "14", ",", "4", ",", "6", ",", "8", ",", "6", ",", 
   "4", ",", "18", ",", "8", ",", "10", ",", "6", ",", "6", ",", "8", ",", 
   "10", ",", "12", ",", "14", ",", "4", ",", "6", ",", "6", ",", "2", ",", 
   "28", ",", "2", ",", "10", ",", "8", ",", "4", ",", "14", ",", "4", ",", 
   "8", ",", "12", ",", "6", ",", "12", ",", "4", ",", "6", ",", "20", ",", 
   "10", ",", "2", ",", "16", ",", "26", ",", "4", ",", "2", ",", "12", ",", 
   "6", ",", "4", ",", "12", ",", "6", ",", "8", ",", "4", ",", "8", ",", 
   "22", ",", "2", ",", "4", ",", "2", ",", "12", ",", "28", ",", "2", ",", 
   "6", ",", "6", ",", "6", ",", "4", ",", "6", ",", "2", ",", "12", ",", "4",
    ",", "12", ",", "2", ",", "10", ",", "2", ",", "16", ",", "2", ",", "16", 
   ",", "6", ",", "20", ",", "16", ",", "8", ",", "4", ",", "2", ",", "4", 
   ",", "2", ",", "22", ",", "8", ",", "12", ",", "6", ",", "10", ",", "2", 
   ",", "4", ",", "6", ",", "2", ",", "6", ",", "10", ",", "2", ",", "12", 
   ",", "10", ",", "2", ",", "10", ",", "14", ",", "6", ",", "4", ",", "6", 
   ",", "8", ",", "6", ",", "6", ",", "16", ",", "12", ",", "2", ",", "4", 
   ",", "14", ",", "6", ",", "4", ",", "8", ",", "10", ",", "8", ",", "6", 
   ",", "6", ",", "22", ",", "6", ",", "2", ",", "10", ",", "14", ",", "4", 
   ",", "6", ",", "18", ",", "2", ",", "10", ",", "14", ",", "4", ",", "2", 
   ",", "10", ",", "14", ",", "4", ",", "8", ",", "18", ",", "4", ",", "6", 
   ",", "2", ",", "4", ",", "6", ",", "2", ",", "12", ",", "4", ",", "20", 
   ",", "22", ",", "12", ",", "2", ",", "4", ",", "6", ",", "6", ",", "2", 
   ",", "6", ",", "22", ",", "2", ",", "6", ",", "16", ",", "6", ",", "12", 
   ",", "2", ",", "6", ",", "12", ",", "16", ",", "2", ",", "4", ",", "6", 
   ",", "14", ",", "4", ",", "2", ",", "18", ",", "24", ",", "10", ",", "6", 
   ",", "2", ",", "10", ",", "2", ",", "10", ",", "2", ",", "10", ",", "6", 
   ",", "2", ",", "10", ",", "2", ",", "10", ",", "6", ",", "8", ",", "30", 
   ",", "10", ",", "2", ",", "10", ",", "8", ",", "6", ",", "10", ",", "18", 
   ",", "6", ",", "12", ",", "12", ",", "2", ",", "18", ",", "6", ",", "4", 
   ",", "6", ",", "6", ",", "18", ",", "2", ",", "10", ",", "14", ",", "6", 
   ",", "4", ",", "2", ",", "4", ",", "24", ",", "2", ",", "12", ",", "6", 
   ",", "16", ",", "8", ",", "6", ",", "6", ",", "18", ",", "16", ",", "2", 
   ",", "4", ",", "6", ",", "2", ",", "6", ",", "6", ",", "10", ",", "6", ",",
    "12", ",", "12", ",", "18", ",", "2", ",", "6", ",", "4", ",", "18", ",", 
   "8", ",", "24", ",", "4", ",", "2", ",", "4", ",", "6", ",", "2", ",", 
   "12", ",", "4", ",", "14", ",", "30", ",", "10", ",", "6", ",", "12", ",", 
   "14", ",", "6", ",", "10", ",", "12", ",", "2", ",", "4", ",", "6", ",", 
   "8", ",", "6", ",", "10", ",", "2", ",", "4", ",", "14", ",", "6", ",", 
   "6", ",", "4", ",", "6", ",", "2", ",", "10", ",", "2", ",", "16", ",", 
   "12", ",", "8", ",", "18", ",", "4", ",", "6", ",", "12", ",", "2", ",", 
   "6", ",", "6", ",", "6", ",", "28", ",", "6", ",", "14", ",", "4", ",", 
   "8", ",", "10", ",", "8", ",", "12", ",", "18", ",", "4", ",", "2", ",", 
   "4", ",", "24", ",", "12", ",", "6", ",", "2", ",", "16", ",", "6", ",", 
   "6", ",", "14", ",", "10", ",", "14", ",", "4", ",", "30", ",", "6", ",", 
   "6", ",", "6", ",", "8", ",", "6", ",", "4", ",", "2", ",", "12", ",", "6",
    ",", "4", ",", "2", ",", "6", ",", "22", ",", "6", ",", "2", ",", "4", 
   ",", "18", ",", "2", ",", "4", ",", "12", ",", "2", ",", "6", ",", "4", 
   ",", "26", ",", "6", ",", "6", ",", "4", ",", "8", ",", "10", ",", "32", 
   ",", "16", ",", "2", ",", "6", ",", "4", ",", "2", ",", "4", ",", "2", ",",
    "10", ",", "14", ",", "6", ",", "4", ",", "8", ",", "10", ",", "6", ",", 
   "20", ",", "4", ",", "2", ",", "6", ",", "30", ",", "4", ",", "8", ",", 
   "10", ",", "6", ",", "6", ",", "8", ",", "6", ",", "12", ",", "4", ",", 
   "6", ",", "2", ",", "6", ",", "4", ",", "6", ",", "2", ",", "10", ",", "2",
    ",", "16", ",", "6", ",", "20", ",", "4", ",", "12", ",", "14", ",", "28",
    ",", "6", ",", "20", ",", "4", ",", "18", ",", "8", ",", "6", ",", "4", 
   ",", "6", ",", "14", ",", "6", ",", "6", ",", "10", ",", "2", ",", "10", 
   ",", "12", ",", "8", ",", "10", ",", "2", ",", "10", ",", "8", ",", "12", 
   ",", "10", ",", "24", ",", "2", ",", "4", ",", "8", ",", "6", ",", "4", 
   ",", "8", ",", "18", ",", "10", ",", "6", ",", "6", ",", "2", ",", "6", 
   ",", "10", ",", "12", ",", "2", ",", "10", ",", "6", ",", "6", ",", "6", 
   ",", "8", ",", "6", ",", "10", ",", "6", ",", "2", ",", "6", ",", "6", ",",
    "6", ",", "10", ",", "8", ",", "24", ",", "6", ",", "22", ",", "2", ",", 
   "18", ",", "4", ",", "8", ",", "10", ",", "30", ",", "8", ",", "18", ",", 
   "4", ",", "2", ",", "10", ",", "6", ",", "2", ",", "6", ",", "4", ",", 
   "18", ",", "8", ",", "12", ",", "18", ",", "16", ",", "6", ",", "2", ",", 
   "12", ",", "6", ",", "10", ",", "2", ",", "10", ",", "2", ",", "6", ",", 
   "10", ",", "14", ",", "4", ",", "24", ",", "2", ",", "16", ",", "2", ",", 
   "10", ",", "2", ",", "10", ",", "20", ",", "4", ",", "2", ",", "4", ",", 
   "8", ",", "16", ",", "6", ",", "6", ",", "2", ",", "12", ",", "16", ",", 
   "8", ",", "4", ",", "6", ",", "30", ",", "2", ",", "10", ",", "2", ",", 
   "6", ",", "4", ",", "6", ",", "6", ",", "8", ",", "6", ",", "4", ",", "12",
    ",", "6", ",", "8", ",", "12", ",", "4", ",", "14", ",", "12", ",", "10", 
   ",", "24", ",", "6", ",", "12", ",", "6", ",", "2", ",", "22", ",", "8", 
   ",", "18", ",", "10", ",", "6", ",", "14", ",", "4", ",", "2", ",", "6", 
   ",", "10", ",", "8", ",", "6", ",", "4", ",", "6", ",", "30", ",", "14", 
   ",", "10", ",", "2", ",", "12", ",", "10", ",", "2", ",", "16", ",", "2", 
   ",", "18", ",", "24", ",", "18", ",", "6", ",", "16", ",", "18", ",", "6", 
   ",", "2", ",", "18", ",", "4", ",", "6", ",", "2", ",", "10", ",", "8", 
   ",", "10", ",", "6", ",", "6", ",", "8", ",", "4", ",", "6", ",", "2", ",",
    "10", ",", "2", ",", "12", ",", "4", ",", "6", ",", "6", ",", "2", ",", 
   "12", ",", "4", ",", "14", ",", "18", ",", "4", ",", "6", ",", "20", ",", 
   "4", ",", "8", ",", "6", ",", "4", ",", "8", ",", "4", ",", "14", ",", "6",
    ",", "4", ",", "14", ",", "12", ",", "4", ",", "2", ",", "30", ",", "4", 
   ",", "24", ",", "6", ",", "6", ",", "12", ",", "12", ",", "14", ",", "6", 
   ",", "4", ",", "2", ",", "4", ",", "18", ",", "6", ",", "12", ",", "8"}], 
  "}"}]], "Output",
 CellChangeTimes->{3.7293093566002812`*^9, 3.7293094269287148`*^9, 
  3.729310405345338*^9, 3.729312038045828*^9, 3.729317534867128*^9},
 CellID->125270317,ExpressionUUID->"0824075c-4731-4cb9-9ae6-42b6d9e8923b"]
}, Open  ]],

Cell[TextData[StyleBox["Theorem 1(Prime Gap Subsequence Theorem)",
 FontWeight->"Bold"]], "Text",
 CellChangeTimes->{{3.729308630378113*^9, 3.7293086590130424`*^9}},
 CellID->19326491,ExpressionUUID->"71531f35-303e-41aa-863e-a7bb5e341311"],

Cell[TextData[{
 "Any prime gap subsequence ",
 Cell[BoxData[
  FormBox["s", TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "d051b1f5-6ec2-4165-a501-f25f1e026abd"],
 ", ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"Length", 
     RowBox[{"(", "s", ")"}]}], "=", "len"}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "9f934412-fa37-4afa-aa46-144c75898201"],
 ",  if s occurs twice in the prime gap sequence, then s will continue to \
appear,  until infinitely times.To be a little accurate,if s recently twice \
occurs in prime gap sequence at index ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["i", "k"], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "91aaf524-80f2-4293-b1a5-bdc974c216b9"],
 "and ",
 Cell[BoxData[
  FormBox[
   SubscriptBox["i", 
    RowBox[{"k", "+", "1"}]], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "c76362e5-5549-4931-88cd-8835f6ada749"],
 "\n",
 Cell[BoxData[
  FormBox[
   RowBox[{"s", "=", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{
       RowBox[{"g", "[", 
        SubscriptBox["i", "k"], "]"}], ",", " ", 
       RowBox[{"g", "[", 
        RowBox[{"1", "+", 
         SubscriptBox["i", "k"]}], "]"}], ",", " ", 
       RowBox[{"g", "[", 
        RowBox[{"2", "+", 
         SubscriptBox["i", "k"]}], "]"}], ",", " ", "...", ",", " ", 
       RowBox[{"g", "[", 
        RowBox[{"len", "-", "1", "+", 
         SubscriptBox["i", "k"]}], "]"}]}], "}"}], "=", 
     RowBox[{"{", 
      RowBox[{
       RowBox[{"g", "[", 
        SubscriptBox["i", 
         RowBox[{"k", "+", "1"}]], "]"}], ",", " ", 
       RowBox[{"g", "[", 
        RowBox[{"1", "+", 
         SubscriptBox["i", 
          RowBox[{"k", "+", "1"}]]}], "]"}], ",", " ", 
       RowBox[{"g", "[", 
        RowBox[{"2", "+", 
         SubscriptBox["i", 
          RowBox[{"k", "+", "1"}]]}], "]"}], ",", " ", "...", ",", " ", 
       RowBox[{"g", "[", 
        RowBox[{"len", "-", "1", "+", 
         SubscriptBox["i", 
          RowBox[{"k", "+", "1"}]]}], "]"}]}], "}"}]}]}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "236a100e-ab5a-4f0f-b106-6a1737813202"],
 "\nthen, the next appearance of s will be at the before of index ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    SuperscriptBox[
     RowBox[{"(", 
      RowBox[{
       SubscriptBox["i", "k"], "+", " ", 
       SubscriptBox["i", 
        RowBox[{"k", "+", "1"}]]}], ")"}], "len"], ".", " "}], 
   TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "1fdbf01d-5969-4fbe-ad0a-9674816082a4"],
 " "
}], "Theorem",
 CellChangeTimes->{{3.7293066561465874`*^9, 3.7293066802693205`*^9}, {
   3.7293068367058516`*^9, 3.729306890362856*^9}, {3.729306939597638*^9, 
   3.7293069463308735`*^9}, {3.729307001740796*^9, 3.7293070824105873`*^9}, {
   3.729307120653056*^9, 3.729307185340506*^9}, {3.7293072399832263`*^9, 
   3.7293072450538797`*^9}, {3.7293073460972223`*^9, 3.729307369159495*^9}, {
   3.7293074044573326`*^9, 3.7293074316046753`*^9}, {3.7293074899367676`*^9, 
   3.729307498701729*^9}, {3.7293075304981456`*^9, 3.7293076089882936`*^9}, {
   3.7293076410158043`*^9, 3.729307642787484*^9}, {3.7293076780733366`*^9, 
   3.7293077011371965`*^9}, {3.7293077394903903`*^9, 3.729307782062104*^9}, {
   3.7293078700451937`*^9, 3.729308199124476*^9}, {3.7293082535297318`*^9, 
   3.729308402233246*^9}, {3.729308527930109*^9, 3.7293085523911495`*^9}, {
   3.7293087443243217`*^9, 3.7293087916265645`*^9}, {3.729308890617596*^9, 
   3.729308890617596*^9}, {3.729308945532669*^9, 3.729308958876018*^9}, {
   3.729308996006005*^9, 3.729309066256322*^9}, 3.7293091382800975`*^9, {
   3.7293179745568895`*^9, 3.729318015637205*^9}, {3.7293180477170105`*^9, 
   3.729318053459303*^9}, {3.7293191705768137`*^9, 3.7293191710838327`*^9}, {
   3.729319576270602*^9, 3.729319626662498*^9}},
 CellID->271777117,ExpressionUUID->"bfd44d82-1a4b-4635-9735-b3ef7b1c2f58"],

Cell[TextData[Cell[BoxData[
 FormBox[GridBox[{
    {
     RowBox[{
      SubscriptBox["i", 
       RowBox[{"k", "+", "2"}]], " ", "\[LessSlantEqual]", 
      SuperscriptBox[
       RowBox[{"(", 
        RowBox[{
         SubscriptBox["i", "k"], "+", " ", 
         SubscriptBox["i", 
          RowBox[{"k", "+", "1"}]]}], ")"}], "len"]}]}
   },
   GridBoxItemSize->{"Columns" -> {{
        Scaled[0.96]}}}], 
  TraditionalForm]],ExpressionUUID->"f48678ce-2d35-4b6e-8f72-b88cbaed6a3f"]], \
"Text",
 CellChangeTimes->{{3.729309131899637*^9, 3.7293091887083883`*^9}},
 CellID->35315799,ExpressionUUID->"3147ecd3-2f90-4237-9c11-971b80328315"],

Cell[TextData[{
 StyleBox["Proof:",
  FontWeight->"Bold"],
 " (to be complete) Firstly consider the case of s={2*m}, Length(s)=1. \
Observing the process of prime Sieve of Eratosthenes, ..., it will have"
}], "Text",
 CellChangeTimes->{{3.729316033587449*^9, 3.729316082253108*^9}, {
   3.729320472522396*^9, 3.7293205164748726`*^9}, 3.7293205697901645`*^9, {
   3.729320712093133*^9, 3.7293207301471806`*^9}, {3.729320969242647*^9, 
   3.729320998458293*^9}, {3.7293210378715153`*^9, 3.7293210775396852`*^9}, {
   3.7293211159629135`*^9, 3.729321146787594*^9}, {3.729321205218907*^9, 
   3.7293212076990795`*^9}, {3.7293214091940813`*^9, 3.729321410282113*^9}, 
   3.7293214682043915`*^9, {3.729321508282693*^9, 3.7293215189793034`*^9}},
 CellID->8005868,ExpressionUUID->"b98be198-94bf-4322-8347-2f6e722603f5"],

Cell[TextData[Cell[BoxData[
 FormBox[GridBox[{
    {GridBox[{
       {
        RowBox[{
         SubscriptBox["i", 
          RowBox[{"k", "+", "2"}]], " ", "\[LessSlantEqual]", 
         RowBox[{"(", 
          RowBox[{
           SubscriptBox["i", "k"], "+", " ", 
           SubscriptBox["i", 
            RowBox[{"k", "+", "1"}]]}], ")"}]}]}
      },
      GridBoxAlignment->{"Columns" -> {{"="}}}]}
   },
   GridBoxItemSize->{"Columns" -> {{
        Scaled[0.96]}}}], 
  TraditionalForm]],ExpressionUUID->"ac0dd24a-dded-4afa-8e51-a3306c278c54"]], \
"Text",
 CellChangeTimes->{{3.7293214583308783`*^9, 3.729321461302046*^9}},
 CellID->797983325,ExpressionUUID->"b3d45b8e-4cf9-46aa-bbdc-c1dce1c7b1b4"],

Cell[" ...", "Text",
 CellChangeTimes->{3.729321578638472*^9},
 CellID->275193373,ExpressionUUID->"31b0fc02-89dd-49ff-b952-cd24f5ecf688"],

Cell["\<\
{2,2} only occurs once at the prime gap sequence. While {2*m}, {2,4,2}, \
{6,2,6}... repeat infinitely times. However, such {2,6,2} never appears in \
the prime gap sequence.\
\>", "Text",
 CellChangeTimes->{{3.7293222875455275`*^9, 3.7293224104494467`*^9}, {
  3.729322461937349*^9, 3.729322473058942*^9}, {3.7293226153219557`*^9, 
  3.729322711386396*^9}},
 CellID->637171382,ExpressionUUID->"79cc78e9-4a58-4425-a9a0-20c61603c4bb"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[StyleBox["Twin primes conjecture and \
Polignac\[CloseCurlyQuote]s conjecture",
 FontWeight->"Bold"]], "Section",
 CellChangeTimes->{
  3.729309507565836*^9, {3.7293096025718913`*^9, 3.729309621088311*^9}, {
   3.729313483937207*^9, 3.729313489027991*^9}},
 CellID->526073074,ExpressionUUID->"b7839b20-8870-417b-bc92-db56b686222f"],

Cell[TextData[{
 "When take the prime gap subsequence ",
 Cell[BoxData[
  FormBox[
   RowBox[{"s", "=", 
    RowBox[{"{", "2", "}"}]}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "f8475a30-ad41-41ab-9dd0-61c0554f2f8b"],
 ", ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"Length", 
     RowBox[{"(", "s", ")"}]}], "=", "1"}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "c9fec459-3830-4de0-92aa-5f7183b2e755"],
 ", this is the content of the twin prime conjecture, which states that there \
are infinitely many primes p such that p + 2 is also prime. \nBelow verify ",
 Cell[BoxData[
  RowBox[{
   SubscriptBox["i", 
    RowBox[{"k", "+", "2"}]], " ", "<", 
   RowBox[{"(", 
    RowBox[{
     SubscriptBox["i", "k"], "+", " ", 
     SubscriptBox["i", 
      RowBox[{"k", "+", "1"}]]}], ")"}]}]],ExpressionUUID->
  "b6534cea-0625-4ae5-846a-376340dd4f9e"],
 ", for s={2} and ",
 Cell[BoxData[
  FormBox[
   RowBox[{"i", " ", ">", "3"}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "46ea9dc9-4757-4187-9142-ab6ddc8d9601"]
}], "Text",
 CellChangeTimes->{{3.729306496851719*^9, 3.729306607494725*^9}, {
  3.7293067045933914`*^9, 3.7293067744870787`*^9}, {3.72930963894845*^9, 
  3.7293097261883245`*^9}, {3.7293098375980597`*^9, 3.7293098452118177`*^9}, {
  3.7293098953936815`*^9, 3.7293099279300547`*^9}, {3.7293099852237635`*^9, 
  3.729310039859286*^9}, {3.7293100812575216`*^9, 3.7293101000925684`*^9}, {
  3.7293120996071777`*^9, 3.729312109003023*^9}, {3.7293121714579*^9, 
  3.729312184448249*^9}, {3.7293122718464575`*^9, 3.7293122778888893`*^9}},
 CellID->271855717,ExpressionUUID->"8efb809d-03fd-4820-bd02-0a1c0efe6216"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"M", "=", 
  RowBox[{"10", "^", "6"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"seq", "=", 
   RowBox[{"Table", "[", 
    RowBox[{
     RowBox[{"g", "[", "i", "]"}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "1", ",", "M"}], "}"}]}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"pos", "=", 
  RowBox[{"Flatten", "@", 
   RowBox[{"Position", "[", 
    RowBox[{"seq", ",", "2"}], "]"}]}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"i", "=", "4"}], ";", 
  RowBox[{"length", "=", 
   RowBox[{"Length", "[", "pos", "]"}]}]}], "\[IndentingNewLine]", 
 RowBox[{"While", "[", " ", 
  RowBox[{
   RowBox[{
    RowBox[{"pos", "[", 
     RowBox[{"[", "i", "]"}], "]"}], "<", 
    RowBox[{
     RowBox[{"pos", "[", 
      RowBox[{"[", 
       RowBox[{"i", "-", "2"}], "]"}], "]"}], "+", 
     RowBox[{"pos", "[", 
      RowBox[{"[", 
       RowBox[{"i", "-", "1"}], "]"}], "]"}]}]}], ",", "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{"i", "++"}], ";", 
    RowBox[{"If", "[", 
     RowBox[{
      RowBox[{"i", ">=", "length"}], ",", 
      RowBox[{"Break", "[", "]"}]}], "]"}]}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"{", 
  RowBox[{"i", ",", "length"}], "}"}]}], "Input",
 CellChangeTimes->{{3.729310150027072*^9, 3.7293102115609064`*^9}, {
   3.729310299029448*^9, 3.729310311623925*^9}, 3.7293103511379533`*^9, {
   3.7293105692429543`*^9, 3.729310570416008*^9}, {3.729310618751026*^9, 
   3.729310628294898*^9}, {3.7293107497943745`*^9, 3.7293107535696354`*^9}, {
   3.729310899065335*^9, 3.729310901718802*^9}, {3.7293109557153625`*^9, 
   3.7293110303734493`*^9}, {3.729311062093577*^9, 3.7293112526812577`*^9}, 
   3.7293113463936267`*^9, {3.7293115057450438`*^9, 3.7293115622348332`*^9}, {
   3.729311593699564*^9, 3.729311737619955*^9}, {3.72931182907675*^9, 
   3.729311871609335*^9}},
 CellID->667105336,ExpressionUUID->"f743f400-4a77-438b-b5bf-983dd9f99b5d"],

Cell[BoxData["1000000"], "Output",
 CellChangeTimes->{
  3.7293103250621815`*^9, {3.729310405052394*^9, 3.729310405197095*^9}, {
   3.7293112309523077`*^9, 3.7293112542558527`*^9}, 3.729311446736512*^9, 
   3.729311564365637*^9, {3.7293116670068674`*^9, 3.729311681856944*^9}, 
   3.729311739498242*^9, {3.729311830648654*^9, 3.7293118774121513`*^9}},
 CellID->499519727,ExpressionUUID->"c4c20f6f-921c-4c9c-828f-5498c1e45474"],

Cell[BoxData[
 InterpretationBox[
  TagBox[
   FrameBox[GridBox[{
      {
       ItemBox[
        TagBox[
         RowBox[{"{", 
          RowBox[{
          "2", ",", "3", ",", "5", ",", "7", ",", "10", ",", "13", ",", "17", 
           ",", "20", ",", "26", ",", "28", ",", "33", ",", "35", ",", "41", 
           ",", "43", ",", "45", ",", "49", ",", "52", ",", "57", ",", "60", 
           ",", "64", ",", "69", ",", "81", ",", "83", ",", "89", ",", "98", 
           ",", "104", ",", "109", ",", "113", ",", "116", ",", "120", ",", 
           "140", ",", "142", ",", 
           TemplateBox[{"85963"},
            "OutputSizeLimit`Skeleton"], ",", "999526", ",", "999530", ",", 
           "999588", ",", "999597", ",", "999612", ",", "999621", ",", 
           "999678", ",", "999683", ",", "999688", ",", "999730", ",", 
           "999743", ",", "999796", ",", "999799", ",", "999802", ",", 
           "999810", ",", "999815", ",", "999818", ",", "999834", ",", 
           "999837", ",", "999852", ",", "999867", ",", "999894", ",", 
           "999909", ",", "999913", ",", "999925", ",", "999931", ",", 
           "999954", ",", "999959", ",", "999970", ",", "999973", ",", 
           "999980", ",", "999983"}], "}"}],
         Short[#, 5]& ],
        BaseStyle->{Deployed -> False},
        StripOnInput->False]},
      {GridBox[{
         {
          TagBox[
           TooltipBox[
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource[
                "FEStrings", "sizeBriefExplanation"], StandardForm],
               ImageSizeCache->{48., {2., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLText",
             StripOnInput->False],
            StyleBox[
             DynamicBox[
              ToBoxes[
               FEPrivate`FrontEndResource["FEStrings", "sizeExplanation"], 
               StandardForm]], DynamicUpdating -> True, StripOnInput -> 
             False]],
           Annotation[#, 
            Style[
             Dynamic[
              FEPrivate`FrontEndResource["FEStrings", "sizeExplanation"]], 
             DynamicUpdating -> True], "Tooltip"]& ], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowLess"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowLess"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           BaselinePosition->Baseline,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            OutputSizeLimit`Defer, 86, 22767567316761720896, 5/2],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowMore"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowMore"], 
                StandardForm]],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           BaselinePosition->Baseline,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            OutputSizeLimit`Defer, 86, 22767567316761720896, 5 2],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowAll"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowAll"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           BaselinePosition->Baseline,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            OutputSizeLimit`Defer, 86, 22767567316761720896, Infinity],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeChangeLimit"], 
                StandardForm],
               ImageSizeCache->{81., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeChangeLimit"], 
                StandardForm],
               ImageSizeCache->{81., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           BaselinePosition->Baseline,
           ButtonFunction:>FrontEndExecute[{
              FrontEnd`SetOptions[
              FrontEnd`$FrontEnd, 
               FrontEnd`PreferencesSettings -> {"Page" -> "Advanced"}], 
              FrontEnd`FrontEndToken["PreferencesDialog"]}],
           Evaluator->None,
           Method->"Preemptive"]}
        },
        AutoDelete->False,
        FrameStyle->GrayLevel[0.85],
        GridBoxDividers->{"Columns" -> {False, {True}}},
        GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}},
        GridBoxSpacings->{"Columns" -> {{2}}}]}
     },
     DefaultBaseStyle->"Column",
     GridBoxAlignment->{
      "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
       "RowsIndexed" -> {}},
     GridBoxDividers->{
      "Columns" -> {{False}}, "ColumnsIndexed" -> {}, "Rows" -> {{False}}, 
       "RowsIndexed" -> {}},
     GridBoxItemSize->{
      "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
       "RowsIndexed" -> {}},
     GridBoxSpacings->{"Columns" -> {
         Offset[0.27999999999999997`], {
          Offset[0.5599999999999999]}, 
         Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
         Offset[0.2], 
         Offset[1.2], {
          Offset[0.4]}, 
         Offset[0.2]}, "RowsIndexed" -> {}}],
    BaseStyle->"OutputSizeLimit",
    FrameMargins->{{12, 12}, {0, 15}},
    FrameStyle->GrayLevel[0.85],
    RoundingRadius->5,
    StripOnInput->False],
   Deploy,
   DefaultBaseStyle->"Deploy"],
  If[22767567316761720896 === $SessionID, 
   Out[86], Message[
     MessageName[Syntax, "noinfoker"]]; Missing["NotAvailable"]; 
   Null]]], "Output",
 CellChangeTimes->{
  3.7293103250621815`*^9, {3.729310405052394*^9, 3.729310405197095*^9}, {
   3.7293112309523077`*^9, 3.7293112542558527`*^9}, 3.729311446736512*^9, 
   3.729311564365637*^9, {3.7293116670068674`*^9, 3.729311681856944*^9}, 
   3.729311739498242*^9, {3.729311830648654*^9, 3.729311854774928*^9}, 
   3.729311954836912*^9},
 CellID->144814304,ExpressionUUID->"46eaa031-9929-4a42-a35f-07d29f42abcb"],

Cell[BoxData["86027"], "Output",
 CellChangeTimes->{
  3.7293103250621815`*^9, {3.729310405052394*^9, 3.729310405197095*^9}, {
   3.7293112309523077`*^9, 3.7293112542558527`*^9}, 3.729311446736512*^9, 
   3.729311564365637*^9, {3.7293116670068674`*^9, 3.729311681856944*^9}, 
   3.729311739498242*^9, {3.729311830648654*^9, 3.729311854774928*^9}, 
   3.729311954836912*^9},
 CellID->101295970,ExpressionUUID->"3d88b8fa-1f96-4bf0-a9e7-bd8c9d17a692"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"86027", ",", "86027"}], "}"}]], "Output",
 CellChangeTimes->{
  3.7293103250621815`*^9, {3.729310405052394*^9, 3.729310405197095*^9}, {
   3.7293112309523077`*^9, 3.7293112542558527`*^9}, 3.729311446736512*^9, 
   3.729311564365637*^9, {3.7293116670068674`*^9, 3.729311681856944*^9}, 
   3.729311739498242*^9, {3.729311830648654*^9, 3.729311854774928*^9}, 
   3.7293119553527613`*^9},
 CellID->57235802,ExpressionUUID->"2560bba3-b21a-4c13-b73d-f602e4d88f2b"]
}, Open  ]],

Cell[TextData[{
 "In above code, one line is ",
 Cell[BoxData[
  FormBox[
   RowBox[{"pos", "=", 
    RowBox[{"Flatten", "@", 
     RowBox[{"Position", "[", 
      RowBox[{"seq", ",", "2"}], "]"}]}]}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "1e7e474f-0bf1-4ee6-bd02-7fe54552d66d"],
 ", replace \[OpenCurlyDoubleQuote]2\[CloseCurlyDoubleQuote] as 4 or \
6,8,10,... \n",
 StyleBox["Polignac\[CloseCurlyQuote]s conjecture",
  FontWeight->"Bold"],
 " from 1849 states that for every positive even natural number ",
 Cell[BoxData[
  FormBox[
   RowBox[{"2", "m"}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "df87bf6b-8da8-4cc9-989a-2ae57c508884"],
 ", there are infinitely many consecutive prime pairs p and p\[Prime] such \
that p\[Prime] \[Minus] p = 2m (i.e. there are infinitely many prime gaps of \
size 2m). \nBelow test ",
 Cell[BoxData[
  RowBox[{
   SubscriptBox["i", 
    RowBox[{"k", "+", "2"}]], " ", "<", 
   RowBox[{"(", 
    RowBox[{
     SubscriptBox["i", "k"], "+", " ", 
     SubscriptBox["i", 
      RowBox[{"k", "+", "1"}]]}], ")"}]}]],ExpressionUUID->
  "3eac0dcb-a15c-49e2-add5-ade1e96a784b"],
 "until to the M-th prime, for prime gap subsequence s={12} \n"
}], "Text",
 CellChangeTimes->{{3.729312373328887*^9, 3.7293123825055113`*^9}, {
  3.7293127757465887`*^9, 3.729312813059516*^9}, {3.7293128511471105`*^9, 
  3.729313027077663*^9}, {3.729313297906977*^9, 3.7293133157476068`*^9}, {
  3.7293133486855445`*^9, 3.7293133568762283`*^9}, {3.7293135619497385`*^9, 
  3.7293135702317233`*^9}, {3.729313623537644*^9, 3.729313645186327*^9}, {
  3.7293137093292537`*^9, 3.729313724906249*^9}, {3.729313843839707*^9, 
  3.7293138473852315`*^9}, {3.729321921285801*^9, 
  3.729321934859564*^9}},ExpressionUUID->"5abf2b65-b9aa-42c8-a54f-\
4922b7597ea8"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"M", "=", 
  RowBox[{"10", "^", "5"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"seq", "=", 
   RowBox[{"Table", "[", 
    RowBox[{
     RowBox[{"g", "[", "i", "]"}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "1", ",", "M"}], "}"}]}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"pos", "=", 
  RowBox[{"Flatten", "@", 
   RowBox[{"Position", "[", 
    RowBox[{"seq", ",", "12"}], "]"}]}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"i", "=", "3"}], ";", 
  RowBox[{"length", "=", 
   RowBox[{"Length", "[", "pos", "]"}]}]}], "\[IndentingNewLine]", 
 RowBox[{"While", "[", " ", 
  RowBox[{
   RowBox[{
    RowBox[{"pos", "[", 
     RowBox[{"[", "i", "]"}], "]"}], "<", 
    RowBox[{
     RowBox[{"pos", "[", 
      RowBox[{"[", 
       RowBox[{"i", "-", "2"}], "]"}], "]"}], "+", 
     RowBox[{"pos", "[", 
      RowBox[{"[", 
       RowBox[{"i", "-", "1"}], "]"}], "]"}]}]}], ",", "\[IndentingNewLine]", 
   
   RowBox[{
    RowBox[{"i", "++"}], ";", 
    RowBox[{"If", "[", 
     RowBox[{
      RowBox[{"i", ">=", "length"}], ",", 
      RowBox[{"Break", "[", "]"}]}], "]"}]}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"{", 
  RowBox[{"i", ",", "length"}], "}"}]}], "Input",
 CellChangeTimes->{{3.7293124224423914`*^9, 3.7293124440962944`*^9}, {
   3.7293124932140055`*^9, 3.7293124935327883`*^9}, 3.729313039542001*^9, {
   3.7293130856225667`*^9, 3.7293130937953253`*^9}, {3.7293131985610323`*^9, 
   3.7293131987730713`*^9}, {3.729313374607464*^9, 3.7293133748574677`*^9}, {
   3.729313815334406*^9, 3.7293138155875854`*^9}},
 CellID->275452656,ExpressionUUID->"f9f2a193-5876-4dc8-9f9e-1e4fd9928faf"],

Cell[BoxData["100000"], "Output",
 CellChangeTimes->{3.7293124457792015`*^9, 3.729312495011159*^9, 
  3.729313040679734*^9, 3.7293132012353735`*^9, 3.7293133761690254`*^9, 
  3.729313866608034*^9},
 CellID->574831297,ExpressionUUID->"509a6062-64e5-49f1-8930-2f9b18407d2f"],

Cell[BoxData[
 InterpretationBox[
  TagBox[
   FrameBox[GridBox[{
      {
       ItemBox[
        TagBox[
         RowBox[{"{", 
          RowBox[{
          "46", ",", "47", ",", "91", ",", "97", ",", "114", ",", "121", ",", 
           "139", ",", "168", ",", "197", ",", "203", ",", "214", ",", "232", 
           ",", "239", ",", "240", ",", "242", ",", "267", ",", "278", ",", 
           "280", ",", "290", ",", "312", ",", "317", ",", "342", ",", "357", 
           ",", "363", ",", "376", ",", "381", ",", "404", ",", "423", ",", 
           "437", ",", "439", ",", "449", ",", "452", ",", "461", ",", 
           TemplateBox[{"10093"},
            "OutputSizeLimit`Skeleton"], ",", "99706", ",", "99748", ",", 
           "99749", ",", "99763", ",", "99775", ",", "99782", ",", "99786", 
           ",", "99800", ",", "99819", ",", "99825", ",", "99831", ",", 
           "99841", ",", "99858", ",", "99862", ",", "99865", ",", "99866", 
           ",", "99871", ",", "99875", ",", "99889", ",", "99897", ",", 
           "99899", ",", "99900", ",", "99906", ",", "99909", ",", "99935", 
           ",", "99937", ",", "99943", ",", "99945", ",", "99952", ",", 
           "99965", ",", "99968", ",", "99990", ",", "100000"}], "}"}],
         Short[#, 5]& ],
        BaseStyle->{Deployed -> False},
        StripOnInput->False]},
      {GridBox[{
         {
          TagBox[
           TooltipBox[
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource[
                "FEStrings", "sizeBriefExplanation"], StandardForm],
               ImageSizeCache->{48., {2., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLText",
             StripOnInput->False],
            StyleBox[
             DynamicBox[
              ToBoxes[
               FEPrivate`FrontEndResource["FEStrings", "sizeExplanation"], 
               StandardForm]], DynamicUpdating -> True, StripOnInput -> 
             False]],
           Annotation[#, 
            Style[
             Dynamic[
              FEPrivate`FrontEndResource["FEStrings", "sizeExplanation"]], 
             DynamicUpdating -> True], "Tooltip"]& ], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowLess"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowLess"], 
                StandardForm]],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           BaselinePosition->Baseline,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            OutputSizeLimit`Defer, 127, 22767567316761720896, 5/2],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowMore"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowMore"], 
                StandardForm]],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           BaselinePosition->Baseline,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            OutputSizeLimit`Defer, 127, 22767567316761720896, 5 2],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowAll"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeShowAll"], 
                StandardForm],
               ImageSizeCache->{48., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           BaselinePosition->Baseline,
           
           ButtonFunction:>OutputSizeLimit`ButtonFunction[
            OutputSizeLimit`Defer, 127, 22767567316761720896, Infinity],
           Enabled->True,
           Evaluator->Automatic,
           Method->"Queued"], 
          ButtonBox[
           PaneSelectorBox[{False->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeChangeLimit"], 
                StandardForm],
               ImageSizeCache->{81., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControl",
             StripOnInput->False], True->
            StyleBox[
             StyleBox[
              DynamicBox[ToBoxes[
                FEPrivate`FrontEndResource["FEStrings", "sizeChangeLimit"], 
                StandardForm],
               ImageSizeCache->{81., {1., 10.}}],
              StripOnInput->False,
              DynamicUpdating->True], "OSLControlActive",
             StripOnInput->False]}, Dynamic[
             CurrentValue["MouseOver"]],
            Alignment->Center,
            FrameMargins->0,
            ImageSize->{Automatic, 25}],
           Appearance->None,
           BaselinePosition->Baseline,
           ButtonFunction:>FrontEndExecute[{
              FrontEnd`SetOptions[
              FrontEnd`$FrontEnd, 
               FrontEnd`PreferencesSettings -> {"Page" -> "Advanced"}], 
              FrontEnd`FrontEndToken["PreferencesDialog"]}],
           Evaluator->None,
           Method->"Preemptive"]}
        },
        AutoDelete->False,
        FrameStyle->GrayLevel[0.85],
        GridBoxDividers->{"Columns" -> {False, {True}}},
        GridBoxItemSize->{"Columns" -> {{Automatic}}, "Rows" -> {{Automatic}}},
        GridBoxSpacings->{"Columns" -> {{2}}}]}
     },
     DefaultBaseStyle->"Column",
     GridBoxAlignment->{
      "Columns" -> {{Left}}, "ColumnsIndexed" -> {}, "Rows" -> {{Baseline}}, 
       "RowsIndexed" -> {}},
     GridBoxDividers->{
      "Columns" -> {{False}}, "ColumnsIndexed" -> {}, "Rows" -> {{False}}, 
       "RowsIndexed" -> {}},
     GridBoxItemSize->{
      "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
       "RowsIndexed" -> {}},
     GridBoxSpacings->{"Columns" -> {
         Offset[0.27999999999999997`], {
          Offset[0.5599999999999999]}, 
         Offset[0.27999999999999997`]}, "ColumnsIndexed" -> {}, "Rows" -> {
         Offset[0.2], 
         Offset[1.2], {
          Offset[0.4]}, 
         Offset[0.2]}, "RowsIndexed" -> {}}],
    BaseStyle->"OutputSizeLimit",
    FrameMargins->{{12, 12}, {0, 15}},
    FrameStyle->GrayLevel[0.85],
    RoundingRadius->5,
    StripOnInput->False],
   Deploy,
   DefaultBaseStyle->"Deploy"],
  If[22767567316761720896 === $SessionID, 
   Out[127], Message[
     MessageName[Syntax, "noinfoker"]]; Missing["NotAvailable"]; 
   Null]]], "Output",
 CellChangeTimes->{3.7293124457792015`*^9, 3.729312495011159*^9, 
  3.729313040679734*^9, 3.7293132012353735`*^9, 3.7293133761690254`*^9, 
  3.729313939793668*^9},
 CellID->535660661,ExpressionUUID->"496d1368-c94a-4eb6-ad00-5e15e061ae64"],

Cell[BoxData["10159"], "Output",
 CellChangeTimes->{3.7293124457792015`*^9, 3.729312495011159*^9, 
  3.729313040679734*^9, 3.7293132012353735`*^9, 3.7293133761690254`*^9, 
  3.7293139398016696`*^9},
 CellID->747933148,ExpressionUUID->"5d01f2d7-65a4-48ab-a3fd-b9fa922dcf6a"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"10159", ",", "10159"}], "}"}]], "Output",
 CellChangeTimes->{3.7293124457792015`*^9, 3.729312495011159*^9, 
  3.729313040679734*^9, 3.7293132012353735`*^9, 3.7293133761690254`*^9, 
  3.729313939902432*^9},
 CellID->518159861,ExpressionUUID->"7ce21e0e-05f0-4bcc-99bc-22b82fccace8"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 StyleBox["Prime quadruplet , the prime gap subsequence ",
  FontWeight->"Bold"],
 Cell[BoxData[
  FormBox[
   RowBox[{"s", "=", 
    RowBox[{"{", 
     RowBox[{"2", ",", "4", ",", "2"}], "}"}]}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "8b60da8b-f571-49d6-8f4d-200f061f3184"]
}], "Section",
 CellChangeTimes->{
  3.729309507565836*^9, {3.7293096025718913`*^9, 3.729309621088311*^9}, {
   3.729313483937207*^9, 3.729313489027991*^9}, {3.7293141819183364`*^9, 
   3.729314233524048*^9}},
 CellID->3582979,ExpressionUUID->"08070699-d3a3-4f4c-b86b-698eb489be70"],

Cell[TextData[{
 "When take the prime gap subsequence ",
 Cell[BoxData[
  FormBox[
   RowBox[{"s", "=", 
    RowBox[{"{", 
     RowBox[{"2", ",", "4", ",", "2"}], "}"}]}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "172ac04e-da2a-4d8b-b579-d54731fe1edf"],
 ", ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"Length", "(", "s", ")"}], "=", "3"}], TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "43c4344f-8430-4208-8b67-b927fb466841"],
 ", this is the case of prime quadruplet. A prime quadruplet (sometimes \
called prime quadruple) is a set of four primes of the form {p, p+2, p+6, \
p+8}.\nBelow verify ",
 Cell[BoxData[
  RowBox[{
   SubscriptBox["i", 
    RowBox[{"k", "+", "2"}]], " ", "<", 
   RowBox[{
    RowBox[{"(", 
     RowBox[{
      SubscriptBox["i", "k"], "+", " ", 
      SubscriptBox["i", 
       RowBox[{"k", "+", "1"}]]}], ")"}], "^", "3"}]}]],ExpressionUUID->
  "f1421ef1-522f-40fd-b169-f1eb12f35c00"],
 ", for s={2,4,2} and ",
 Cell[BoxData[
  FormBox[
   RowBox[{
    RowBox[{"i", " ", "=", "3"}], ",", "4", ",", "5", ",", "..."}], 
   TraditionalForm]],
  FormatType->"TraditionalForm",ExpressionUUID->
  "ed2bf926-20be-4de2-b4f2-3e40c047a110"]
}], "Text",
 CellChangeTimes->{{3.729306496851719*^9, 3.729306607494725*^9}, {
  3.7293067045933914`*^9, 3.7293067744870787`*^9}, {3.72930963894845*^9, 
  3.7293097261883245`*^9}, {3.7293098375980597`*^9, 3.7293098452118177`*^9}, {
  3.7293098953936815`*^9, 3.7293099279300547`*^9}, {3.7293099852237635`*^9, 
  3.729310039859286*^9}, {3.7293100812575216`*^9, 3.7293101000925684`*^9}, {
  3.7293120996071777`*^9, 3.729312109003023*^9}, {3.7293121714579*^9, 
  3.729312184448249*^9}, {3.7293122718464575`*^9, 3.7293122778888893`*^9}, {
  3.729314244802776*^9, 3.729314262480226*^9}, {3.7293144135685873`*^9, 
  3.729314590089279*^9}},
 CellID->222265826,ExpressionUUID->"595e1ac9-d32d-4ae3-8aa4-8372f1d3977f"],

Cell[CellGroupData[{

Cell[BoxData[{
 RowBox[{"M", "=", 
  RowBox[{"10", "^", "5"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"seq", "=", 
   RowBox[{"Table", "[", 
    RowBox[{
     RowBox[{"g", "[", "i", "]"}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "1", ",", "M"}], "}"}]}], "]"}]}], 
  ";"}], "\[IndentingNewLine]", 
 RowBox[{"sub", "=", 
  RowBox[{"{", 
   RowBox[{"2", ",", "4", ",", "2"}], "}"}]}], "\[IndentingNewLine]", 
 RowBox[{"len", "=", 
  RowBox[{"Length", "[", "sub", "]"}]}], "\[IndentingNewLine]", 
 RowBox[{"pos", "=", 
  RowBox[{"SequencePosition", "[", 
   RowBox[{"seq", ",", "sub"}], "]"}]}], "\[IndentingNewLine]", 
 RowBox[{
  RowBox[{"i", "=", "3"}], ";", 
  RowBox[{"posLength", "=", 
   RowBox[{"Length", "[", "pos", "]"}]}]}], "\[IndentingNewLine]", 
 RowBox[{"While", "[", " ", 
  RowBox[{
   RowBox[{
    RowBox[{"pos", "[", 
     RowBox[{"[", 
      RowBox[{"i", ",", "1"}], "]"}], "]"}], "<", 
    RowBox[{
     RowBox[{"(", 
      RowBox[{
       RowBox[{"pos", "[", 
        RowBox[{"[", 
         RowBox[{
          RowBox[{"i", "-", "2"}], ",", "1"}], "]"}], "]"}], "+", 
       RowBox[{"pos", "[", 
        RowBox[{"[", 
         RowBox[{
          RowBox[{"i", "-", "1"}], ",", "1"}], "]"}], "]"}]}], ")"}], "^", 
     "len"}]}], ",", "\[IndentingNewLine]", 
   RowBox[{
    RowBox[{"i", "++"}], ";", 
    RowBox[{"If", "[", 
     RowBox[{
      RowBox[{"i", ">=", "posLength"}], ",", 
      RowBox[{"Break", "[", "]"}]}], "]"}]}]}], 
  "]"}], "\[IndentingNewLine]", 
 RowBox[{"{", 
  RowBox[{"i", ",", "posLength"}], "}"}]}], "Input",
 CellChangeTimes->{
  3.7293146147243547`*^9, {3.7293147217028084`*^9, 3.729314729652773*^9}, {
   3.7293149773878155`*^9, 3.7293149782094717`*^9}, {3.7293157084390583`*^9, 
   3.729315708604692*^9}, 3.7293159258588095`*^9, {3.729321649869487*^9, 
   3.7293217600617256`*^9}, 3.729321810926587*^9, {3.729322066093956*^9, 
   3.7293220779346232`*^9}, 3.72932250046352*^9, 3.7293227279762673`*^9},
 CellID->16743202,ExpressionUUID->"e32cb34f-5d9b-453d-8a59-f790f5bc9219"],

Cell[BoxData["100000"], "Output",
 CellChangeTimes->{3.7293147628638115`*^9, 3.729314984913645*^9, 
  3.7293157100091653`*^9, 3.7293159268934956`*^9, 3.729321819802084*^9, 
  3.729322087784148*^9, 3.729322503813676*^9, 3.7293227305514755`*^9},
 CellID->556039943,ExpressionUUID->"39c614b6-9a42-4bfc-94bc-57b256db8bf5"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"2", ",", "4", ",", "2"}], "}"}]], "Output",
 CellChangeTimes->{3.7293147628638115`*^9, 3.729314984913645*^9, 
  3.7293157100091653`*^9, 3.7293159268934956`*^9, 3.729321819802084*^9, 
  3.729322087784148*^9, 3.729322503813676*^9, 3.729322814175185*^9},
 CellID->206379645,ExpressionUUID->"00b2a2ec-4e3a-4f5f-b98f-1fd497cd7dd5"],

Cell[BoxData["3"], "Output",
 CellChangeTimes->{3.7293147628638115`*^9, 3.729314984913645*^9, 
  3.7293157100091653`*^9, 3.7293159268934956`*^9, 3.729321819802084*^9, 
  3.729322087784148*^9, 3.729322503813676*^9, 3.7293228141801844`*^9},
 CellID->171224406,ExpressionUUID->"1138e2c3-6d3d-428a-89d1-13a3b12fc14e"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{
   RowBox[{"{", 
    RowBox[{"3", ",", "5"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"5", ",", "7"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"26", ",", "28"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"43", ",", "45"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"142", ",", "144"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"234", ",", "236"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"286", ",", "288"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"313", ",", "315"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"458", ",", "460"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"484", ",", "486"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"743", ",", "745"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"1167", ",", "1169"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"1548", ",", "1550"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"1823", ",", "1825"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"1833", ",", "1835"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"1867", ",", "1869"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"2066", ",", "2068"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"2151", ",", "2153"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"2199", ",", "2201"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"2362", ",", "2364"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"2493", ",", "2495"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"2789", ",", "2791"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"3410", ",", "3412"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"3718", ",", "3720"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"4559", ",", "4561"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"5251", ",", "5253"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"5618", ",", "5620"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"6317", ",", "6319"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"6696", ",", "6698"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"6899", ",", "6901"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"7147", ",", "7149"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"7590", ",", "7592"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"7807", ",", "7809"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"7932", ",", "7934"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"8083", ",", "8085"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"8602", ",", "8604"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"9402", ",", "9404"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"9517", ",", "9519"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"9682", ",", "9684"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"10438", ",", "10440"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"11006", ",", "11008"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"11239", ",", "11241"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"11494", ",", "11496"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"12618", ",", "12620"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"13352", ",", "13354"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"14462", ",", "14464"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"15150", ",", "15152"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"15239", ",", "15241"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"15597", ",", "15599"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"16972", ",", "16974"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"17561", ",", "17563"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"17631", ",", "17633"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"18097", ",", "18099"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"18129", ",", "18131"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"19394", ",", "19396"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"20048", ",", "20050"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"21225", ",", "21227"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"21524", ",", "21526"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"21840", ",", "21842"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"21873", ",", "21875"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"22662", ",", "22664"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"22865", ",", "22867"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"23365", ",", "23367"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"23544", ",", "23546"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"24126", ",", "24128"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"24821", ",", "24823"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"24864", ",", "24866"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"25560", ",", "25562"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"25678", ",", "25680"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"25956", ",", "25958"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"26035", ",", "26037"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"26162", ",", "26164"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"28101", ",", "28103"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"28750", ",", "28752"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"29260", ",", "29262"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"29688", ",", "29690"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"29814", ",", "29816"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"30312", ",", "30314"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"30676", ",", "30678"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"30836", ",", "30838"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"31930", ",", "31932"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"32958", ",", "32960"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"33028", ",", "33030"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"33251", ",", "33253"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"33459", ",", "33461"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"33663", ",", "33665"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"33679", ",", "33681"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"34012", ",", "34014"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"34059", ",", "34061"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"34772", ",", "34774"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"35317", ",", "35319"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"35455", ",", "35457"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"35941", ",", "35943"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"37140", ",", "37142"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"37292", ",", "37294"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"37907", ",", "37909"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"38709", ",", "38711"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"38856", ",", "38858"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"39016", ",", "39018"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"39228", ",", "39230"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"39781", ",", "39783"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"40811", ",", "40813"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"41201", ",", "41203"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"41556", ",", "41558"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"42339", ",", "42341"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"42969", ",", "42971"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"44305", ",", "44307"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"44334", ",", "44336"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"44539", ",", "44541"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"45258", ",", "45260"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"46009", ",", "46011"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"46331", ",", "46333"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"46823", ",", "46825"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"47031", ",", "47033"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"48038", ",", "48040"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"48709", ",", "48711"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"48929", ",", "48931"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"49653", ",", "49655"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"50779", ",", "50781"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"51095", ",", "51097"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"51493", ",", "51495"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"51514", ",", "51516"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"51597", ",", "51599"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"51620", ",", "51622"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"53133", ",", "53135"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"53378", ",", "53380"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"53653", ",", "53655"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"53833", ",", "53835"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"53920", ",", "53922"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"54051", ",", "54053"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"55084", ",", "55086"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"55157", ",", "55159"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"55927", ",", "55929"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"56942", ",", "56944"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"57681", ",", "57683"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"59114", ",", "59116"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"59259", ",", "59261"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"59487", ",", "59489"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"61597", ",", "61599"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"61956", ",", "61958"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"63642", ",", "63644"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"64200", ",", "64202"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"64982", ",", "64984"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"65574", ",", "65576"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"65701", ",", "65703"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"66140", ",", "66142"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"66444", ",", "66446"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"66682", ",", "66684"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"67325", ",", "67327"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"67967", ",", "67969"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"68029", ",", "68031"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"68196", ",", "68198"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"69465", ",", "69467"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"69529", ",", "69531"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"69940", ",", "69942"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"70542", ",", "70544"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"71816", ",", "71818"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"73477", ",", "73479"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"74052", ",", "74054"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"74669", ",", "74671"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"75265", ",", "75267"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"75514", ",", "75516"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"75581", ",", "75583"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"76816", ",", "76818"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"76933", ",", "76935"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"77311", ",", "77313"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"78674", ",", "78676"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"78757", ",", "78759"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"78967", ",", "78969"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"78971", ",", "78973"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"79161", ",", "79163"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"79631", ",", "79633"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"80150", ",", "80152"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"80159", ",", "80161"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"80259", ",", "80261"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"80539", ",", "80541"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"81664", ",", "81666"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"83111", ",", "83113"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"83187", ",", "83189"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"83416", ",", "83418"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"83449", ",", "83451"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"85075", ",", "85077"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"85208", ",", "85210"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"85283", ",", "85285"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"85774", ",", "85776"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"87002", ",", "87004"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"87020", ",", "87022"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"87096", ",", "87098"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"87206", ",", "87208"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"87303", ",", "87305"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"87323", ",", "87325"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"87635", ",", "87637"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"88455", ",", "88457"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"89071", ",", "89073"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"89702", ",", "89704"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"89740", ",", "89742"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"89875", ",", "89877"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"90321", ",", "90323"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"90603", ",", "90605"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"90640", ",", "90642"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"90777", ",", "90779"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"90912", ",", "90914"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"90947", ",", "90949"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"91017", ",", "91019"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"91656", ",", "91658"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"93677", ",", "93679"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"94934", ",", "94936"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"95077", ",", "95079"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"95288", ",", "95290"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"96179", ",", "96181"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"96193", ",", "96195"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"96965", ",", "96967"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"98075", ",", "98077"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"98998", ",", "99000"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"99894", ",", "99896"}], "}"}]}], "}"}]], "Output",
 CellChangeTimes->{3.7293147628638115`*^9, 3.729314984913645*^9, 
  3.7293157100091653`*^9, 3.7293159268934956`*^9, 3.729321819802084*^9, 
  3.729322087784148*^9, 3.729322503813676*^9, 3.7293228142251854`*^9},
 CellID->136965455,ExpressionUUID->"06baee60-6243-43ca-af53-1ab954eee941"],

Cell[BoxData["215"], "Output",
 CellChangeTimes->{3.7293147628638115`*^9, 3.729314984913645*^9, 
  3.7293157100091653`*^9, 3.7293159268934956`*^9, 3.729321819802084*^9, 
  3.729322087784148*^9, 3.729322503813676*^9, 3.7293228142371893`*^9},
 CellID->196526326,ExpressionUUID->"0fe26ab6-2ee9-4629-aaf8-6d62d513a689"],

Cell[BoxData[
 RowBox[{"{", 
  RowBox[{"215", ",", "215"}], "}"}]], "Output",
 CellChangeTimes->{3.7293147628638115`*^9, 3.729314984913645*^9, 
  3.7293157100091653`*^9, 3.7293159268934956`*^9, 3.729321819802084*^9, 
  3.729322087784148*^9, 3.729322503813676*^9, 3.729322814241187*^9},
 CellID->64896502,ExpressionUUID->"5bd15949-4df2-4b0d-a0e6-e382a5a92e64"]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell["Summary", "Section",
 CellTags->"visualizefacetsurface"],

Cell["Enter summary text here.", "Text"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Conclusion", "Section"],

Cell["Enter conclusion text here.", "Text"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Appendix", "Section"],

Cell["Enter appendix text here.", "Text"],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"\[Integral]", 
    RowBox[{"x", " ", "d", "\[InvisibleSpace]", "x"}]}], "+", 
   SqrtBox["z"]}], TraditionalForm]], "DisplayFormula"]
}, Open  ]],

Cell[CellGroupData[{

Cell["Acknowledgments", "Section"],

Cell["Enter acknowledgment text here.", "Text"]
}, Open  ]],

Cell[CellGroupData[{

Cell["References", "Section",
 CellID->496069258],

Cell["https://en.wikipedia.org/wiki/Sieve_of_Eratosthenes", "Reference",
 CellChangeTimes->{{3.729320644143339*^9, 
  3.7293206496116543`*^9}},ExpressionUUID->"ce4886b4-f09c-4a57-9450-\
e26dfa672f6d"],

Cell["\<\
https://en.wikipedia.org/wiki/Prime_quadruplet#Prime_quintuplets\
\>", "Reference",
 CellChangeTimes->{
  3.729322133327839*^9},ExpressionUUID->"0768e7db-e4e4-41c3-a992-\
efeb904233a5"],

Cell[TextData[{
 StyleBox["Software Title",
  FontSlant->"Italic"],
 ". Version number, Publisher Location: Publisher Name, Publication Date."
}], "Reference"]
}, Open  ]],

Cell[CellGroupData[{

Cell["About the Authors", "SectionAboutAuthor"],

Cell["Enter author biography here (60-word limit).", "TextAboutAuthor",ExpressionUUID->"8039d2d1-a9fb-4978-bfbc-8151f3b6c80c"],

Cell["Enter additional author biography here (60-word limit).", \
"TextAboutAuthor",ExpressionUUID->"48a79356-1eb5-48a9-beeb-4f44383bf0af"],

Cell[TextData[{
 StyleBox["Cody Luo", "AboutAuthorB"],
 StyleBox["\nWangyuehu Community 9-16.\nYuelu District\nChangsha, China \
430006", "AboutAuthorI"],
 "\n",
 StyleBox[ButtonBox["cody@ustc.edu",
  BaseStyle->"Hyperlink",
  ButtonData->{
    URL["mailto:submissions@mathematica-journal.com"], None},
  ButtonNote->"submissions@mathematica-journal.com"], "AboutAuthorI"]
}], "TextAboutAuthor",
 CellChangeTimes->{{3.7293227914169006`*^9, 3.729322798690311*^9}, {
  3.729322837473467*^9, 3.7293228903454733`*^9}, {3.7293229571622367`*^9, 
  3.7293229975314507`*^9}},
 CellID->1328340278,ExpressionUUID->"0f3f7b2a-b48a-4795-aefe-db9b8c96dfdf"],

Cell[TextData[{
 StyleBox["Enter additional author name here", "AboutAuthorB"],
 "\n"
}], "TextAboutAuthor",
 CellChangeTimes->{3.729322823881699*^9},
 CellID->175058134,ExpressionUUID->"1df07a69-d842-4929-8b9a-ec47975d1cbc"]
}, Open  ]]
}, Open  ]]
},
AutoGeneratedPackage->None,
WindowSize->{775, 561},
WindowMargins->{{122, Automatic}, {6, Automatic}},
TaggingRules->{
 "DAHPreferences" -> {
   "DefaultUSERCVSDIR" -> 
    "C:\\Users\\joycet\\cvs_checkouts_DAHDefault\\Pubs\\Internal\\joycet", 
    "DAHEmailOptions" -> {
     "From" -> "joycet@wolfram.com", "To" -> "q-docs@wolfram.com", "Subject" -> 
      "bonk detected: ", "Server" -> "mail.wolfram.com"}, 
    "CVSBranchTags" -> {"B8_0"}}, "AnnotationsDeleted" -> False},
CreateCellID->True,
SpellingDictionaries->{"CorrectWords"->{
 "subitemnumbered", "subitem", "Subsubsection", "Subsubsubsection", 
  "Authorlast", "doi", "Champaign"}},
FrontEndVersion->"11.1 for Microsoft Windows (64-bit) (2017\:5e745\:670816\
\:65e5)",
StyleDefinitions->Notebook[{
   Cell[
    CellGroupData[{
      Cell[
       TextData[{"Style Definitions for \n", 
         StyleBox["The Mathematica Journal", FontSlant -> "Italic"]}], 
       "Subtitle", CellMargins -> {{0, Inherited}, {Inherited, 0}}, 
       CellFrameMargins -> {{20, 4}, {8, 20}}, FontSize -> 36, FontWeight -> 
       "Bold", FontColor -> GrayLevel[1], Background -> GrayLevel[0]], 
      Cell[
       StyleData[StyleDefinitions -> "Default_8.0.nb"]], 
      Cell[
       CellGroupData[{
         Cell[
         "Styles Brought in from Core.nb, adjusted for TMJ", "Section", 
          CellFrame -> False, CellDingbat -> None, ShowCellBracket -> True, 
          CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Code"], PageWidth -> DirectedInfinity[1], 
             CellMargins -> {{57, 21}, {10, 10}}, Evaluatable -> True, 
             CellGroupingRules -> "InputGrouping", TextClipboardType -> 
             "Package", StripStyleOnPaste -> True, PageBreakWithin -> False, 
             GroupPageBreakWithin -> False, InitializationCell -> True, 
             DefaultFormatType -> DefaultInputFormatType, AutoIndent -> False,
              ShowAutoStyles -> True, "TwoByteSyntaxCharacterAutoReplacement" -> 
             True, HyphenationOptions -> {
              "HyphenationCharacter" -> "\[Continuation]"}, 
             AutoItalicWords -> {}, LanguageCategory -> "Mathematica", 
             AutoSpacing -> False, ShowStringCharacters -> True, NumberMarks -> 
             True, DigitBlock -> DirectedInfinity[1], ZeroWidthTimes -> True, 
             LineBreakWithin -> False, LineIndent -> 0, CounterIncrements -> 
             "Code", MenuSortingValue -> 1375, MenuCommandKey -> "8", 
             FontSize -> 11, FontWeight -> "Bold", Background -> 
             RGBColor[0.9, 0.9, 1]], 
            Cell[
             StyleData["Code", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Code", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Code", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell["Brought in from Core.nb, removed FontSize", "Text"], 
         Cell[
          StyleData["MSG"], StyleMenuListing -> None, FontFamily -> 
          "Helvetica"], 
         Cell["Brought in from Core.nb, not modified", "Text"], 
         Cell[
          StyleData["PrintUsage"], Editable -> False, PageWidth -> 
          WindowWidth, CellFrame -> {{0, 0}, {0, 3}}, CellFrameColor -> 
          RGBColor[1, 0.6000000000000001, 0], FontFamily -> "Helvetica", 
          FontSize -> 10, Background -> RGBColor[1, 0.993332, 0.899718]]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Style Environment Names", "Section", CellFrame -> False, 
          CellDingbat -> None, ShowCellBracket -> True, 
          CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
         "Corrected style environment names to use the MenuPosition values \
from Core.nb. ", "Text"], 
         Cell[
          StyleData[All, "Working"], 
          CellBracketOptions -> {
           "Color" -> RGBColor[0.115343, 0.350561, 0.362966]}, ShowCellLabel -> 
          True, CellFrameLabelMargins -> 6, ScriptMinSize -> 9, 
          MenuSortingValue -> 1100], 
         Cell[
          StyleData[All, "Presentation"], ScreenStyleEnvironment -> 
          "Presentation", MenuSortingValue -> 1200, Magnification -> 1.25], 
         Cell[
          StyleData[All, "Printout"], PageWidth -> PaperWidth, 
          ShowCellBracket -> True, CellLabelAutoDelete -> False, Hyphenation -> 
          True, HyphenationOptions -> {"HyphenationMinLengths" -> {3, 4}}, 
          ScriptMinSize -> 5, MenuSortingValue -> 1500, 
          PrivateFontOptions -> {"FontType" -> "Outline"}, Magnification -> 
          0.9], 
         Cell["Disabled Menu appearance for SlideShow and Condensed", "Text"], 
         Cell[
          StyleData[All, "SlideShow"], PageWidth -> WindowWidth, DockedCells -> 
          FEPrivate`FrontEndResource["FEExpressions", "SlideshowToolbar"], 
          ScrollingOptions -> {
           "PagewiseDisplay" -> True, "VerticalScrollRange" -> Fit}, 
          ShowCellBracket -> False, ShowAutoStyles -> False, ScriptMinSize -> 
          9, MenuSortingValue -> 1300, StyleMenuListing -> None], 
         Cell[
          StyleData[All, "Condensed"], PageWidth -> WindowWidth, 
          CellLabelMargins -> {{8, Inherited}, {Inherited, Inherited}}, 
          ShowAutoStyles -> False, ScriptMinSize -> 8, MenuSortingValue -> 
          1400, StyleMenuListing -> None]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Notebook Options", "Section", CellFrame -> False, CellDingbat -> 
          None, ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
         "The options defined for the style below will be used at the \
Notebook level.", "Text"], 
         Cell[
          StyleData["Notebook"], PageHeaders -> {{
             Cell[
              TextData[{
                CounterBox["Page"]}], "PageNumber"], Inherited, 
             Cell["Author(s)", "Header"]}, {
             Cell["Article Title", "Header"], Inherited, 
             Cell[
              TextData[{
                CounterBox["Page"]}], "PageNumber"]}}, PageFooters -> {{
             Cell[
              TextData[{"The Mathematica Journal ", 
                StyleBox["volume", FontWeight -> "Bold"], 
                ":issue \[Copyright] year Wolfram Media, Inc."}], "Footer"], 
             Inherited, 
             Cell[
              TextData[{
                ValueBox["FileName"], " ", 
                ValueBox["Date"]}], "Footer"]}, {
             Cell[
              TextData[{
                ValueBox["FileName"], " ", 
                ValueBox["Date"]}], "Footer"], Inherited, 
             Cell[
              TextData[{"The Mathematica Journal ", 
                StyleBox["volume", FontWeight -> "Bold"], 
                ":issue \[Copyright] year Wolfram Media, Inc."}], "Footer"]}},
           PrintingOptions -> {
           "FacingPages" -> True, "FirstPageHeader" -> False, 
            "PageFooterMargins" -> {36, 36}, "PageHeaderMargins" -> {42, 42}, 
            "PrintRegistrationMarks" -> False, 
            "PrintingMargins" -> {{90, 90}, {90, 90}}}, CellFrameLabelMargins -> 
          6, HyphenationOptions -> {
           "HyphenationCharacter" -> "-", "HyphenationFreeZone" -> 12, 
            "HyphenationMinLengths" -> {2, 3}}, StyleMenuListing -> None]}, 
        Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Styles for Headings", "Section", CellFrame -> False, CellDingbat -> 
          None, ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Title"], ShowCellBracket -> False, ShowSelection -> 
             True, CellMargins -> {{21, 21}, {0, 15}}, 
             CellGroupingRules -> {"TitleGrouping", 0}, PageBreakBelow -> 
             False, Hyphenation -> False, LineSpacing -> {1, 1}, 
             CounterIncrements -> "Title", 
             CounterAssignments -> {{"Subtitle", 0}, {"Section", 0}, {
               "Subsection", 0}, {"Subsubsection", 0}, {"List", 0}, {
               "NumberedFigure", 0}, {"NumberedTable", 0}, {
               "NumberedProgram", 0}, {"Equation", 0}, {"Text", 0}, {
               "SmallText", 0}, {"Reference", 0}}, MenuSortingValue -> 1100, 
             FontFamily -> "Times", FontSize -> 36, FontWeight -> "Plain", 
             FontSlant -> "Italic"], 
            Cell[
             StyleData["Title", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Title", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Title", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subtitle"], ShowCellBracket -> False, ShowSelection -> 
             True, CellMargins -> {{21, 21}, {5, 2}}, 
             CellGroupingRules -> {"TitleGrouping", 10}, PageBreakBelow -> 
             False, Hyphenation -> False, LineSpacing -> {1, 1}, 
             CounterIncrements -> "Subtitle", FontFamily -> "Times", FontSize -> 
             24, FontSlant -> "Italic"], 
            Cell[
             StyleData["Subtitle", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Subtitle", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Subtitle", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          StyleData["Subsubtitle"], MenuSortingValue -> "None"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Section"], CellFrame -> False, CellDingbat -> 
             "\[FilledSquare]", CellMargins -> {{21, 21}, {10, 30}}, 
             Evaluatable -> False, 
             CellGroupingRules -> {"SectionGrouping", 40}, PageBreakBelow -> 
             False, Hyphenation -> False, CounterIncrements -> "Section", 
             CounterAssignments -> {{"Subsection", 0}, {"Subsubsection", 0}, {
               "ItemNumbered", 0}}, AspectRatioFixed -> True, FontFamily -> 
             "Helvetica", FontSize -> 16, FontWeight -> "Bold", FontColor -> 
             RGBColor[
              0.7013504234378576, 0.3030136568245975, 0.12634470130464637`]], 
            
            Cell[
             StyleData["Section", "Presentation", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Section", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Section", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subsection"], CellDingbat -> "\[EmptySquare]", 
             CellMargins -> {{21, 21}, {10, 26}}, 
             CellGroupingRules -> {"SectionGrouping", 50}, PageBreakBelow -> 
             False, Hyphenation -> False, LineSpacing -> {1, 1}, 
             CounterIncrements -> "Subsection", 
             CounterAssignments -> {{"Subsubsection", 0}, {
               "ItemNumbered", 0}}, FontFamily -> "Helvetica", FontSize -> 14,
              FontWeight -> "Bold", FontColor -> GrayLevel[0]], 
            Cell[
             StyleData[
             "Subsection", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Subsection", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Subsection", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subsubsection"], CellDingbat -> 
             "\[FilledSmallSquare]", CellMargins -> {{21, 21}, {6, 20}}, 
             CellGroupingRules -> {"SectionGrouping", 60}, PageBreakBelow -> 
             False, Hyphenation -> False, LineSpacing -> {1, 1}, 
             CounterIncrements -> "Subsubsection", 
             CounterAssignments -> {{"ItemNumbered", 0}}, FontFamily -> 
             "Helvetica", FontSize -> 12, FontWeight -> "Bold", FontSlant -> 
             "Oblique"], 
            Cell[
             StyleData[
             "Subsubsection", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "Subsubsection", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "Subsubsection", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subsubsubsection"], CellDingbat -> None, 
             CellMargins -> {{21, 21}, {6, 20}}, 
             CellGroupingRules -> {"SectionGrouping", 70}, PageBreakBelow -> 
             False, Hyphenation -> False, LineSpacing -> {1, 1}, 
             CounterIncrements -> "Subsubsubsection", 
             CounterAssignments -> {{"ItemNumbered", 0}}, StyleMenuListing -> 
             None, FontFamily -> "Helvetica", FontSize -> 12, FontWeight -> 
             "Bold"], 
            Cell[
             StyleData[
             "Subsubsubsection", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "Subsubsubsection", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "Subsubsubsection", "Printout", StyleDefinitions -> None]]}, 
           Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Styles for Body Text", "Section", CellFrame -> False, CellDingbat -> 
          None, ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Text"], CellMargins -> {{21, 21}, {4, 4}}, 
             CounterIncrements -> "Text", 
             CounterAssignments -> {{"ItemNumbered", 0}}, MenuSortingValue -> 
             1370, MenuCommandKey -> "7", FontFamily -> "Times", FontSize -> 
             12], 
            Cell[
             StyleData["Text", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Text", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Text", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Quote"], 
             CellMargins -> {{45, 45}, {Inherited, Inherited}}, 
             MenuSortingValue -> 1520, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData["Quote", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Quote", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Quote", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Styles for Input, Output, and Graphics", "Section", CellFrame -> 
          False, CellDingbat -> None, ShowCellBracket -> True, 
          CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Input"], CellMargins -> {{57, 21}, {10, 10}}, 
             Evaluatable -> True, CellGroupingRules -> "InputGrouping", 
             CellHorizontalScrolling -> True, PageBreakWithin -> False, 
             GroupPageBreakWithin -> False, 
             CellLabelMargins -> {{23, Inherited}, {Inherited, Inherited}}, 
             CellFrameColor -> GrayLevel[0.869993], DefaultFormatType -> 
             DefaultInputFormatType, LineSpacing -> {1, 1}, 
             AutoItalicWords -> {}, ShowStringCharacters -> True, NumberMarks -> 
             True, CounterIncrements -> "Input", MenuSortingValue -> 1400, 
             FontSize -> 11, FontWeight -> "Bold", Background -> None], 
            Cell[
             StyleData["Input", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Input", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Input", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Output"], CellMargins -> {{57, 21}, {13, 5}}, 
             CellEditDuplicate -> True, CellGroupingRules -> "OutputGrouping",
              CellHorizontalScrolling -> True, PageBreakWithin -> False, 
             GroupPageBreakWithin -> False, GeneratedCell -> True, 
             CellAutoOverwrite -> True, 
             CellLabelMargins -> {{23, Inherited}, {Inherited, Inherited}}, 
             CellFrameColor -> GrayLevel[0.869993], DefaultFormatType -> 
             DefaultOutputFormatType, LineSpacing -> {1, 1}, 
             AutoItalicWords -> {}, CounterIncrements -> "Output", 
             StyleMenuListing -> None, FontSize -> 11, Background -> None], 
            Cell[
             StyleData["Output", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Output", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Output", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Message"], CellFrame -> {{0.25, 0.25}, {0, 0}}, 
             CellDingbat -> "\[WarningSign]", 
             CellMargins -> {{57, 21}, {13, 0}}, CellGroupingRules -> 
             "OutputGrouping", PageBreakWithin -> False, GroupPageBreakWithin -> 
             False, GeneratedCell -> True, CellAutoOverwrite -> True, 
             ShowCellLabel -> False, 
             CellLabelMargins -> {{23, Inherited}, {Inherited, Inherited}}, 
             CellFrameColor -> GrayLevel[0.869993], CellFrameLabelMargins -> 
             0, DefaultFormatType -> DefaultOutputFormatType, 
             LineSpacing -> {1, 1}, AutoItalicWords -> {}, StyleMenuListing -> 
             None, FontFamily -> "Helvetica", FontSize -> 10, FontColor -> 
             RGBColor[0, 0, 1], Background -> GrayLevel[0.949996]], 
            Cell[
             StyleData["Message", "Presentation", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Message", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Message", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Print"], CellFrame -> True, 
             CellMargins -> {{57, 21}, {13, 0}}, CellGroupingRules -> 
             "OutputGrouping", CellHorizontalScrolling -> True, 
             PageBreakWithin -> False, GroupPageBreakWithin -> False, 
             GeneratedCell -> True, CellAutoOverwrite -> True, ShowCellLabel -> 
             False, CellLabelMargins -> {{23, Inherited}, {
               Inherited, Inherited}}, CellFrameColor -> GrayLevel[0], 
             DefaultFormatType -> DefaultOutputFormatType, 
             LineSpacing -> {1, 1}, AutoItalicWords -> {}, StyleMenuListing -> 
             None, FontFamily -> "Helvetica", FontSize -> 10], 
            Cell[
             StyleData["Print", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Print", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Print", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          
          TextData[{
           "PlacedGraphics cell style to be used when importing a graphic \
from another  application or when presenting a graphic not associated with ", 
            
            StyleBox["Mathematica", FontSlant -> "Italic"], 
            " input. May be followed by NumberedFigureCaption."}], "Text"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["PlacedGraphics"], CellFrame -> False, 
             CellMargins -> {{21, 21}, {8, 10}}, CellGroupingRules -> 
             "GraphicsGrouping", CellHorizontalScrolling -> True, 
             ShowCellLabel -> False, TextAlignment -> Left, 
             LineSpacing -> {1, 1}, 
             InsetBoxOptions -> {
              BaseStyle -> {CellFrame -> None, Background -> None}}], 
            Cell[
             StyleData[
             "PlacedGraphics", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "PlacedGraphics", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "PlacedGraphics", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["CellLabel"], 
             CellMargins -> {{5, Inherited}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, StyleMenuListing -> None, FontFamily -> 
             "Helvetica", FontSize -> 8, FontSlant -> "Oblique", FontColor -> 
             RGBColor[0.115343, 0.350561, 0.362966]], 
            Cell[
             StyleData[
             "CellLabel", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["CellLabel", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["CellLabel", "Printout", StyleDefinitions -> None]]}, 
           Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Styles for Automatic Numbering and Lists", "Section", CellFrame -> 
          False, CellDingbat -> None, ShowCellBracket -> True, 
          CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["DisplayFormulaNumbered"], 
             CellMargins -> {{39, 21}, {4, 4}}, StripStyleOnPaste -> True, 
             CellFrameLabels -> {{None, 
                Cell[
                 TextData[{"(", 
                   CounterBox["DisplayFormulaNumbered"], ")"}], 
                 CellSize -> {30, Inherited}, TextAlignment -> Right]}, {
               None, None}}, DefaultFormatType -> TraditionalForm, 
             HyphenationOptions -> {
              "HyphenationCharacter" -> "\[Continuation]"}, 
             LineSpacing -> {1, 1}, LanguageCategory -> "Formula", 
             ScriptLevel -> 0, SingleLetterItalics -> True, CounterIncrements -> 
             "DisplayFormulaNumbered", MenuSortingValue -> 1700, FontFamily -> 
             "Times", 
             UnderoverscriptBoxOptions -> {LimitsPositioning -> True}], 
            Cell[
             StyleData[
             "DisplayFormulaNumbered", "Presentation", StyleDefinitions -> 
              None]], 
            Cell[
             StyleData[
             "DisplayFormulaNumbered", "SlideShow", StyleDefinitions -> 
              None]], 
            Cell[
             StyleData[
             "DisplayFormulaNumbered", "Printout", StyleDefinitions -> 
              None]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["InlineFormula"], CellMargins -> {{10, 4}, {0, 8}}, 
             StripStyleOnPaste -> True, 
             HyphenationOptions -> {
              "HyphenationCharacter" -> "\[Continuation]"}, LanguageCategory -> 
             "Formula", ScriptLevel -> 1, SingleLetterItalics -> True, 
             MenuSortingValue -> None], 
            Cell[
             StyleData[
             "InlineFormula", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "InlineFormula", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "InlineFormula", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["NumberedFigureCaption"], CellDingbat -> 
             "\[FilledUpTriangle]", CellMargins -> {{21, 21}, {8, 0}}, 
             PageBreakAbove -> False, TextAlignment -> Left, 
             LineSpacing -> {1, 1}, CounterIncrements -> "NumberedFigure", 
             MenuSortingValue -> 1711, FormatTypeAutoConvert -> False, 
             FontFamily -> "Helvetica", FontSize -> 10], 
            Cell[
             StyleData[
             "NumberedFigureCaption", "Presentation", StyleDefinitions -> 
              None]], 
            Cell[
             StyleData[
             "NumberedFigureCaption", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "NumberedFigureCaption", "Printout", StyleDefinitions -> None]]},
            Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["NumberedTableCaption"], CellDingbat -> 
             "\[FilledUpTriangle]", CellMargins -> {{21, 21}, {8, 0}}, 
             PageBreakAbove -> False, LineSpacing -> {1, 1}, 
             CounterIncrements -> "NumberedTable", MenuSortingValue -> 1712, 
             FontFamily -> "Helvetica", FontSize -> 10], 
            Cell[
             StyleData[
             "NumberedTableCaption", "Presentation", StyleDefinitions -> 
              None]], 
            Cell[
             StyleData[
             "NumberedTableCaption", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData[
             "NumberedTableCaption", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["NumberedProgramCaption"], CellDingbat -> 
             "\[FilledUpTriangle]", CellMargins -> {{21, 21}, {8, 0}}, 
             PageBreakAbove -> False, LineSpacing -> {1, 1}, 
             CounterIncrements -> "NumberedProgram", MenuSortingValue -> 1713,
              FormatTypeAutoConvert -> False, FontFamily -> "Helvetica", 
             FontSize -> 10], 
            Cell[
             StyleData[
             "NumberedProgramCaption", "Presentation", StyleDefinitions -> 
              None]], 
            Cell[
             StyleData[
             "NumberedProgramCaption", "SlideShow", StyleDefinitions -> 
              None]], 
            Cell[
             StyleData[
             "NumberedProgramCaption", "Printout", StyleDefinitions -> 
              None]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Caption"], CellDingbat -> "\[FilledUpTriangle]", 
             CellMargins -> {{21, 21}, {Inherited, 5}}, PageBreakAbove -> 
             False, LineSpacing -> {1, 1}, FontFamily -> "Helvetica", 
             FontSize -> 10], 
            Cell[
             StyleData["Caption", "Presentation", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Caption", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Caption", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Item"], CellDingbat -> "\[FilledSmallCircle]", 
             CellMargins -> {{58, 21}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, 
             CounterAssignments -> {{"SubitemNumbered", 0}}, MenuSortingValue -> 
             1775, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData["Item", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Item", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Item", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Subitem"], CellDingbat -> "\[FilledSmallCircle]", 
             CellMargins -> {{74, 21}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, MenuSortingValue -> 1776, FontFamily -> 
             "Times", FontSize -> 12], 
            Cell[
             StyleData["Subitem", "Presentation", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Subitem", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Subitem", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["ItemNumbered"], CellDingbat -> Cell[
               TextData[{
                 CounterBox["ItemNumbered"], "."}], FontWeight -> "Bold", 
               CellSize -> {20, Inherited}, TextAlignment -> Right], 
             CellMargins -> {{58, 21}, {Inherited, Inherited}}, CellBaseline -> 
             Baseline, LineSpacing -> {1, 1}, TabSpacings -> {4.}, 
             CounterAssignments -> {{"SubitemNumbered", 0}}, MenuSortingValue -> 
             1777, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData[
             "ItemNumbered", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "ItemNumbered", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["ItemNumbered", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["SubitemNumbered"], CellDingbat -> Cell[
               TextData[{
                 CounterBox["SubitemNumbered", CounterFunction :> (Part[
                    CharacterRange["a", "z"], #]& )], "."}], FontWeight -> 
               "Bold"], CellMargins -> {{74, 21}, {Inherited, Inherited}}, 
             CellBaseline -> Baseline, LineSpacing -> {1, 1}, 
             MenuSortingValue -> 1778, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData[
             "SubitemNumbered", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "SubitemNumbered", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "SubitemNumbered", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData[
             "ItemParagraph", StyleDefinitions -> StyleData["Item"]], 
             CellDingbat -> None, CounterIncrements -> "ItemParagraph", 
             MenuSortingValue -> 1779], 
            Cell[
             StyleData[
             "ItemParagraph", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "ItemParagraph", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["ItemParagraph", "Printout", StyleDefinitions -> None],
              TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData[
             "SubitemParagraph", StyleDefinitions -> StyleData["Subitem"]], 
             CellDingbat -> None, CounterIncrements -> "SubitemParagraph", 
             MenuSortingValue -> 1800], 
            Cell[
             StyleData[
             "SubitemParagraph", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "SubitemParagraph", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "SubitemParagraph", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Reference"], CellDingbat -> Cell[
               TextData[{"[", 
                 CounterBox["Reference"], "]"}], "SR", 
               CellSize -> {25, Inherited}, TextAlignment -> Right], 
             CellMargins -> {{47, 21}, {Inherited, Inherited}}, 
             CellFrameLabels -> {{None, None}, {None, None}}, 
             LineSpacing -> {1, 1}, CounterIncrements -> "Reference", 
             MenuSortingValue -> 1870, FontFamily -> "Helvetica", FontSize -> 
             10], 
            Cell[
             StyleData["Reference", "Presentation", StyleDefinitions -> None],
              CellMargins -> {{59, 21}, {Inherited, Inherited}}], 
            Cell[
             StyleData["Reference", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Reference", "Printout", StyleDefinitions -> None], 
             CellMargins -> {{45, 21}, {Inherited, Inherited}}, 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData[
             "DOIReference", StyleDefinitions -> StyleData["Reference"]], 
             CellDingbat -> None, CellMargins -> {{21, 21}, {Inherited, 10}}, 
             CounterIncrements -> "DOIReference", FontSize -> 9], 
            Cell[
             StyleData["DOIReference", "Presentation"], 
             CellMargins -> {{21, 21}, {Inherited, 10}}], 
            Cell[
             StyleData["DOIReference", "Printout"], 
             CellMargins -> {{21, 21}, {Inherited, 10}}]}, Closed]], 
         Cell[
          StyleData[
          "DOIReference1", StyleDefinitions -> StyleData["DOIReference"]], 
          CellChangeTimes -> {{3.500647185533589*^9, 3.500647185556703*^9}}], 
         
         Cell[
          StyleData[
          "DOIReference10", StyleDefinitions -> StyleData["DOIReference"]], 
          CellChangeTimes -> {{3.500647185533589*^9, 
           3.5006471855594378`*^9}}]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Journal Element Styles", "Section", CellFrame -> False, CellDingbat -> 
          None, ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          StyleData["OnlineHeader"], ShowCellBracket -> False, ShowSelection -> 
          True, CellMargins -> {{0, 0}, {0, 0}}, 
          CellGroupingRules -> {"TitleGrouping", 30}, PageBreakBelow -> False,
           CellFrameMargins -> {{21, 21}, {2, 8}}, Hyphenation -> False, 
          LineSpacing -> {1, 1}, StyleMenuListing -> None, FontFamily -> 
          "Times", FontSize -> 14, FontWeight -> "Plain", FontSlant -> 
          "Italic", FontColor -> 
          RGBColor[
           0.9864194705119402, 0.9585259784847792, 0.7428549629968719], 
          Background -> RGBColor[0, 0, 0]], 
         Cell[
         "ColumnTitle is a renaming of PreTitle.", "Text", 
          CellChangeTimes -> {{3.4810538075243597`*^9, 
           3.481053831482122*^9}}], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["ColumnTitle"], ShowCellBracket -> False, 
             CellMargins -> {{21, 21}, {14, 4}}, 
             CellGroupingRules -> {"TitleGrouping", 0}, PageBreakBelow -> 
             False, CellFrameMargins -> {{55, 4}, {8, 20}}, Hyphenation -> 
             False, LineSpacing -> {1, 1}, StyleMenuListing -> None, 
             FontFamily -> "Helvetica", FontSize -> 13, FontWeight -> 
             "Regular"], 
            Cell[
             StyleData[
             "ColumnTitle", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["ColumnTitle", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["ColumnTitle", "Printout", StyleDefinitions -> None]]},
            Closed]], 
         Cell[
         "Author to be used after the Title cell with author name(s). Author \
name(s) may be preceded by \"Edited by \" for certain columns. Text in author \
cell to be used as the left page header.", "Text"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Author"], ShowCellBracket -> False, ShowSelection -> 
             True, CellMargins -> {{21, 21}, {4, 6}}, CellGroupingRules -> 
             "NormalGrouping", PageBreakBelow -> False, Hyphenation -> False, 
             LineSpacing -> {1, 1}, ParagraphSpacing -> {0, 0}, 
             MenuSortingValue -> 1155, FontFamily -> "Helvetica", FontSize -> 
             14, FontWeight -> "Bold"], 
            Cell[
             StyleData["Author", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Author", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Author", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Abstract"], ShowCellBracket -> False, ShowSelection -> 
             True, CellMargins -> {{21, 83}, {4, 25}}, Hyphenation -> False, 
             LineSpacing -> {1, 3}, MenuSortingValue -> 1156, FontFamily -> 
             "Helvetica", FontSize -> 13, FontWeight -> "Regular", FontSlant -> 
             "Plain"], 
            Cell[
             StyleData["Abstract", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Abstract", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Abstract", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Question"], CellFrame -> {{0, 0}, {0, 2}}, 
             CellDingbat -> "Q:", CellMargins -> {{45, 45}, {8, 8}}, 
             CellFrameMargins -> {{0, 0}, {2, 4}}, LineSpacing -> {1, 1}, 
             MenuSortingValue -> 1820, FontFamily -> "Times", FontSize -> 14, 
             FontWeight -> "Bold", FontColor -> 
             RGBColor[0.115511, 0.321752, 0.580118]], 
            Cell[
             StyleData["Question", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Question", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Question", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Answer"], CellDingbat -> 
             Cell["A:", FontWeight -> "Bold"], 
             CellMargins -> {{45, 45}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, CounterIncrements -> "Text", 
             MenuSortingValue -> 1860, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData["Answer", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Answer", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Answer", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["TextAboutAuthor"], CellMargins -> {{21, 21}, {2, 5}}, 
             LineSpacing -> {1, 1}, CounterIncrements -> "Text", 
             MenuSortingValue -> 1880, FontSize -> 12], 
            Cell[
             StyleData[
             "TextAboutAuthor", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "TextAboutAuthor", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "TextAboutAuthor", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["SectionAboutAuthor"], 
             CellMargins -> {{21, 21}, {10, 30}}, 
             CellGroupingRules -> {"SectionGrouping", 40}, PageBreakBelow -> 
             False, CellFrameMargins -> 4, Hyphenation -> False, 
             LineSpacing -> {1, 1}, MenuSortingValue -> 1875, FontFamily -> 
             "Helvetica", FontSize -> 12, FontWeight -> "Bold"], 
            Cell[
             StyleData[
             "SectionAboutAuthor", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "SectionAboutAuthor", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "SectionAboutAuthor", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
         "Styles for algorithm listings, based on BulletedList, indent an \
additional 12 points for each level, dingbat also changes", "Text"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Algorithm1"], CellDingbat -> "\[FilledSmallCircle]", 
             CellMargins -> {{58, 21}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData[
             "Algorithm1", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Algorithm1", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Algorithm1", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Algorithm2"], CellDingbat -> "\[Dash]", 
             CellMargins -> {{74, 21}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData[
             "Algorithm2", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Algorithm2", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Algorithm2", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Algorithm3"], CellDingbat -> "\[Star]", 
             CellMargins -> {{86, 21}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData[
             "Algorithm3", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Algorithm3", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Algorithm3", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Algorithm4"], CellDingbat -> "\[CenterDot]", 
             CellMargins -> {{98, 21}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, FontFamily -> "Times", FontSize -> 12], 
            Cell[
             StyleData[
             "Algorithm4", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Algorithm4", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Algorithm4", "Printout", StyleDefinitions -> None], 
             TextJustification -> 1.]}, Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Enunciations", "Section", CellFrame -> False, CellDingbat -> None, 
          ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          CellGroupData[{
            Cell["Theorem", "Subsubsection", MenuSortingValue -> 1871], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Theorem"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Theorem", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, MenuSortingValue -> 1871, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "Theorem", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData["Theorem", "SlideShow", StyleDefinitions -> None]], 
               
               Cell[
                StyleData["Theorem", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["TheoremLabel"], StyleMenuListing -> None, 
                FontWeight -> "Bold", FontSlant -> "Plain"], 
               Cell[
                StyleData[
                "TheoremLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "TheoremLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "TheoremLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["TheoremContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", LineSpacing -> {1, 1}, CounterIncrements -> 
                "TheoremContinuation", MenuSortingValue -> 1872, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "TheoremContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "TheoremContinuation", "SlideShow", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "TheoremContinuation", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Example", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Example"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Example", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, MenuSortingValue -> 1873, FontSlant -> 
                "Plain"], 
               Cell[
                StyleData[
                "Example", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData["Example", "SlideShow", StyleDefinitions -> None]], 
               
               Cell[
                StyleData["Example", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["ExampleLabel"], StyleMenuListing -> None, 
                FontWeight -> "Bold", FontSlant -> "Italic"], 
               Cell[
                StyleData[
                "ExampleLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "ExampleLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "ExampleLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["ExampleContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", LineSpacing -> {1, 1}, CounterIncrements -> 
                "ExampleContinuation", MenuSortingValue -> 1874], 
               Cell[
                StyleData[
                "ExampleContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "ExampleContinuation", "SlideShow", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "ExampleContinuation", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Proof", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Proof"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, MenuSortingValue -> 1875, FontSlant -> 
                "Plain"], 
               Cell[
                StyleData["Proof", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData["Proof", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Proof", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["ProofLabel"], StyleMenuListing -> None, FontWeight -> 
                "Bold", FontSlant -> "Italic"], 
               Cell[
                StyleData[
                "ProofLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "ProofLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "ProofLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["ProofContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", LineSpacing -> {1, 1}, CounterIncrements -> 
                "ProofContinuation"], 
               Cell[
                StyleData[
                "ProofContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "ProofContinuation", "SlideShow", StyleDefinitions -> None]], 
               
               Cell[
                StyleData[
                "ProofContinuation", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["QED"], CellMargins -> {{21, 21}, {8, 0}}, 
                StyleMenuListing -> None, FontSize -> 14], 
               Cell[
                StyleData["QED", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData["QED", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["QED", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Corollary", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Corollary"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Corollary", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "Corollary", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "Corollary", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Corollary", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["CorollaryLabel"], StyleMenuListing -> None, 
                FontWeight -> "Bold", FontSlant -> "Plain"], 
               Cell[
                StyleData[
                "CorollaryLabel", "Presentation", StyleDefinitions -> None]], 
               
               Cell[
                StyleData[
                "CorollaryLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "CorollaryLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["CorollaryContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "CorollaryContinuation", StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "CorollaryContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "CorollaryContinuation", "SlideShow", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "CorollaryContinuation", "Printout", StyleDefinitions -> 
                 None], TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Lemma", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Lemma"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Lemma", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData["Lemma", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData["Lemma", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Lemma", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["LemmaLabel"], StyleMenuListing -> None, FontWeight -> 
                "Bold", FontSlant -> "Plain"], 
               Cell[
                StyleData[
                "LemmaLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "LemmaLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "LemmaLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["LemmaContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "LemmaContinuation", StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "LemmaContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "LemmaContinuation", "SlideShow", StyleDefinitions -> None]], 
               
               Cell[
                StyleData[
                "LemmaContinuation", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Definition", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Definition"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Definition", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "Definition", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "Definition", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Definition", "Printout", StyleDefinitions -> None],
                 TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["DefinitionLabel"], StyleMenuListing -> None, 
                FontWeight -> "Bold", FontSlant -> "Plain"], 
               Cell[
                StyleData[
                "DefinitionLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "DefinitionLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "DefinitionLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["DefinitionContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "DefinitionContinuation", StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "DefinitionContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "DefinitionContinuation", "SlideShow", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "DefinitionContinuation", "Printout", StyleDefinitions -> 
                 None], TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Proposition", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Proposition"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Proposition", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "Proposition", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "Proposition", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "Proposition", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["PropositionLabel"], StyleMenuListing -> None, 
                FontWeight -> "Bold", FontSlant -> "Plain"], 
               Cell[
                StyleData[
                "PropositionLabel", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "PropositionLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "PropositionLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["PropositionContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "PropositionContinuation", StyleMenuListing -> None, 
                FontSlant -> "Italic"], 
               Cell[
                StyleData[
                "PropositionContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "PropositionContinuation", "SlideShow", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "PropositionContinuation", "Printout", StyleDefinitions -> 
                 None], TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Conjecture", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Conjecture"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Conjecture", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "Conjecture", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "Conjecture", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Conjecture", "Printout", StyleDefinitions -> None],
                 TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["ConjectureLabel"], StyleMenuListing -> None, 
                FontWeight -> "Bold", FontSlant -> "Plain"], 
               Cell[
                StyleData[
                "ConjectureLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "ConjectureLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "ConjectureLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["ConjectureContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "ConjectureContinuation", StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "ConjectureContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "ConjectureContinuation", "SlideShow", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "ConjectureContinuation", "Printout", StyleDefinitions -> 
                 None], TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Axiom", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Axiom"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Axiom", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData["Axiom", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData["Axiom", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Axiom", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["AxiomLabel"], StyleMenuListing -> None, FontWeight -> 
                "Bold", FontSlant -> "Plain"], 
               Cell[
                StyleData[
                "AxiomLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "AxiomLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "AxiomLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["AxiomContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "AxiomContinuation", StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "AxiomContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "AxiomContinuation", "SlideShow", StyleDefinitions -> None]], 
               
               Cell[
                StyleData[
                "AxiomContinuation", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Rule", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Rule"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Rule", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData["Rule", "Presentation", StyleDefinitions -> None]], 
               
               Cell[
                StyleData["Rule", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Rule", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["RuleLabel"], StyleMenuListing -> None, FontWeight -> 
                "Bold", FontSlant -> "Plain"], 
               Cell[
                StyleData[
                "RuleLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "RuleLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "RuleLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["RuleContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "RuleContinuation", StyleMenuListing -> None, FontSlant -> 
                "Italic"], 
               Cell[
                StyleData[
                "RuleContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "RuleContinuation", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "RuleContinuation", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Remark", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Remark"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterIncrements -> "Remark", 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Plain"], 
               Cell[
                StyleData[
                "Remark", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData["Remark", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Remark", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["RemarkLabel"], StyleMenuListing -> None, 
                FontWeight -> "Bold", FontSlant -> "Italic"], 
               Cell[
                StyleData[
                "RemarkLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "RemarkLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "RemarkLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["RemarkContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "RemarkContinuation", StyleMenuListing -> None], 
               Cell[
                StyleData[
                "RemarkContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "RemarkContinuation", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "RemarkContinuation", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]]}, Closed]], 
         Cell[
          CellGroupData[{
            Cell["Solution", "Subsubsection", StyleMenuListing -> None], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["Solution"], CellMargins -> {{21, 21}, {4, 4}}, 
                CellGroupingRules -> "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, ParagraphIndent -> 24, 
                CounterAssignments -> {{"EnunciationItem1Numbered", 0}, {
                  "Item1Numbered", 0}}, StyleMenuListing -> None, FontSlant -> 
                "Plain"], 
               Cell[
                StyleData[
                "Solution", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData["Solution", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData["Solution", "Printout", StyleDefinitions -> None], 
                TextJustification -> 1.]}, Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["SolutionLabel"], StyleMenuListing -> None, 
                FontWeight -> "Bold", FontSlant -> "Italic"], 
               Cell[
                StyleData[
                "SolutionLabel", "Presentation", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "SolutionLabel", "SlideShow", StyleDefinitions -> None]], 
               Cell[
                StyleData[
                "SolutionLabel", "Printout", StyleDefinitions -> None]]}, 
              Closed]], 
            Cell[
             CellGroupData[{
               Cell[
                StyleData["SolutionContinuation"], 
                CellMargins -> {{21, 21}, {4, 4}}, CellGroupingRules -> 
                "GraphicsGrouping", Hyphenation -> True, 
                LineSpacing -> {1, 1}, CounterIncrements -> 
                "SolutionContinuation", StyleMenuListing -> None], 
               Cell[
                StyleData[
                "SolutionContinuation", "Presentation", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "SolutionContinuation", "SlideShow", StyleDefinitions -> 
                 None]], 
               Cell[
                StyleData[
                "SolutionContinuation", "Printout", StyleDefinitions -> None],
                 TextJustification -> 1.]}, Closed]]}, Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Display Formulas and Programming", "Section", CellFrame -> False, 
          CellDingbat -> None, ShowCellBracket -> True, 
          CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["DisplayFormula"], CellMargins -> {{39, 21}, {4, 4}}, 
             CellHorizontalScrolling -> True, PageBreakAbove -> False, 
             DefaultFormatType -> TraditionalForm, LineSpacing -> {1, 1}, 
             ScriptLevel -> 0, SingleLetterItalics -> True, SpanMaxSize -> 
             DirectedInfinity[1], FormatTypeAutoConvert -> False, FontFamily -> 
             "Times", FontSize -> 12, 
             UnderoverscriptBoxOptions -> {LimitsPositioning -> True}, 
             GridBoxOptions -> {AllowScriptLevelChange -> False}], 
            Cell[
             StyleData[
             "DisplayFormula", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "DisplayFormula", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "DisplayFormula", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Program"], CellMargins -> {{21, 21}, {8, 10}}, 
             LineSpacing -> {1, 1}, MenuSortingValue -> 1455, FontFamily -> 
             "Courier", FontSize -> 12, FontWeight -> "Plain"], 
            Cell[
             StyleData["Program", "Presentation", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["Program", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Program", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Table"], CellMargins -> {{21, 21}, {8, 10}}, 
             DefaultFormatType -> TraditionalForm, TextAlignment -> Center, 
             LineSpacing -> {1, 1}, FontFamily -> "Times", FontSize -> 12, 
             Background -> GrayLevel[0.899001]], 
            Cell[
             StyleData["Table", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Table", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Table", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
         "PseudoCellExpression cell style to be used when displaying \
unformatted box expressions. ", "Text"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["PseudoCellExpression"], 
             CellFrame -> {{0, 0}, {0, 0.5}}, 
             CellMargins -> {{21, 21}, {Inherited, Inherited}}, 
             CellFrameMargins -> 2, LineSpacing -> {1, 1}, FontFamily -> 
             "Courier", FontSize -> 12], 
            Cell[
             StyleData[
             "PseudoCellExpression", "Presentation", StyleDefinitions -> 
              None]], 
            Cell[
             StyleData[
             "PseudoCellExpression", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData[
             "PseudoCellExpression", "Printout", StyleDefinitions -> None]]}, 
           Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Styles for Headers and Footers", "Section", CellFrame -> False, 
          CellDingbat -> None, ShowCellBracket -> True, 
          CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          StyleData["Header"], CellMargins -> {{0, 0}, {4, 1}}, 
          StyleMenuListing -> None, FontFamily -> "Times", FontSize -> 9, 
          FontSlant -> "Italic"], 
         Cell[
          StyleData["PageNumber"], CellMargins -> {{0, 0}, {4, 1}}, 
          StyleMenuListing -> None, FontFamily -> "Times", FontSize -> 9, 
          FontWeight -> "Bold", FontSlant -> "Plain"], 
         Cell[
          StyleData["Footer"], CellMargins -> {{0, 0}, {0, 4}}, 
          StyleMenuListing -> None, FontFamily -> "Helvetica", FontSize -> 7, 
          FontSlant -> "Oblique"]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Hyperlink Styles", "Section", CellFrame -> False, CellDingbat -> 
          None, ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell["The cells below define styles used for ButtonBoxes.", "Text"], 
         
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Hyperlink"], StyleMenuListing -> None, 
             ButtonStyleMenuListing -> Automatic, 
             FontVariations -> {"Underline" -> True}, FontColor -> 
             RGBColor[
              0.9230792706187534, 0.3988097962920577, 0.1662928206301976], 
             ButtonBoxOptions -> {
              Active -> True, ButtonFunction :> (FrontEndExecute[{
                  FrontEnd`NotebookLocate[#2]}]& ), ButtonNote -> 
               ButtonData}], 
            Cell[
             StyleData[
             "Hyperlink", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["Hyperlink", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["Hyperlink", "Printout", StyleDefinitions -> None], 
             FontVariations -> {"Underline" -> False}, FontColor -> 
             GrayLevel[0]]}, Closed]], 
         Cell[
         "The following styles are for linking automatically to the locally \
installed on-line help system.", "Text"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["MainBookLink"], StyleMenuListing -> None, 
             ButtonStyleMenuListing -> Automatic, 
             FontVariations -> {"Underline" -> True}, FontColor -> 
             RGBColor[
              0.9230792706187534, 0.3988097962920577, 0.1662928206301976], 
             ButtonBoxOptions -> {
              Active -> True, Appearance -> {Automatic, None}, 
               ButtonFunction :> (FrontEndExecute[{
                  FrontEnd`HelpBrowserLookup["MainBook", #]}]& )}], 
            Cell[
             StyleData[
             "MainBookLink", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "MainBookLink", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "MainBookLink", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["AddOnsLink"], StyleMenuListing -> None, 
             ButtonStyleMenuListing -> Automatic, 
             FontVariations -> {"Underline" -> True}, FontColor -> 
             RGBColor[
              0.9230792706187534, 0.3988097962920577, 0.1662928206301976], 
             ButtonBoxOptions -> {
              Active -> True, Appearance -> {Automatic, None}, 
               ButtonFunction :> (FrontEndExecute[{
                  FrontEnd`HelpBrowserLookup["AddOns", #]}]& )}], 
            Cell[
             StyleData[
             "AddOnsLink", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["AddOnsLink", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["AddOnsLink", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["RefGuideLink"], StyleMenuListing -> None, 
             ButtonStyleMenuListing -> Automatic, 
             FontVariations -> {"Underline" -> True}, FontColor -> 
             RGBColor[
              0.9230792706187534, 0.3988097962920577, 0.1662928206301976], 
             ButtonBoxOptions -> {
              Active -> True, Appearance -> {Automatic, None}, 
               ButtonFunction :> (FrontEndExecute[{
                  FrontEnd`HelpBrowserLookup["RefGuide", #]}]& )}], 
            Cell[
             StyleData[
             "RefGuideLink", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "RefGuideLink", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "RefGuideLink", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["GettingStartedLink"], StyleMenuListing -> None, 
             ButtonStyleMenuListing -> Automatic, 
             FontVariations -> {"Underline" -> True}, FontColor -> 
             RGBColor[
              0.9230792706187534, 0.3988097962920577, 0.1662928206301976], 
             ButtonBoxOptions -> {
              Active -> True, Appearance -> {Automatic, None}, 
               ButtonFunction :> (FrontEndExecute[{
                  FrontEnd`HelpBrowserLookup["GettingStarted", #]}]& )}], 
            Cell[
             StyleData[
             "GettingStartedLink", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "GettingStartedLink", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "GettingStartedLink", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["OtherInformationLink"], StyleMenuListing -> None, 
             ButtonStyleMenuListing -> Automatic, 
             FontVariations -> {"Underline" -> True}, FontColor -> 
             RGBColor[
              0.9230792706187534, 0.3988097962920577, 0.1662928206301976], 
             ButtonBoxOptions -> {
              Active -> True, Appearance -> {Automatic, None}, 
               ButtonFunction :> (FrontEndExecute[{
                  FrontEnd`HelpBrowserLookup["OtherInformation", #]}]& )}], 
            Cell[
             StyleData[
             "OtherInformationLink", "Presentation", StyleDefinitions -> 
              None]], 
            Cell[
             StyleData[
             "OtherInformationLink", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData[
             "OtherInformationLink", "Printout", StyleDefinitions -> None]]}, 
           Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "FormatType Styles", "Section", CellFrame -> False, CellDingbat -> 
          None, ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
         "These cells define styles that are mixed in with other cells.  If \
the FormatType of a cell style matches the name of one of the styles defined \
below, then that style is applied along with the local cell style \
definitions. ", "Text", CellMargins -> {{24, 0}, {Inherited, Inherited}}], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["CellExpression"], CellMargins -> {{54, 24}, {2, 4}}, 
             ShowCellLabel -> False, ShowSpecialCharacters -> False, 
             AllowInlineCells -> False, Hyphenation -> False, 
             LineSpacing -> {1, 1}, AutoItalicWords -> {}, StyleMenuListing -> 
             None, FontFamily -> "Courier", FontSize -> 12, Background -> 
             GrayLevel[1]], 
            Cell[
             StyleData[
             "CellExpression", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "CellExpression", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "CellExpression", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["InputForm"], PageWidth -> WindowWidth, 
             InputAutoReplacements -> {}, AllowInlineCells -> False, 
             Hyphenation -> False, AutoSpacing -> False, NumberMarks -> True, 
             AutoNumberFormatting -> False, StyleMenuListing -> None, 
             FontFamily -> "Courier"], 
            Cell[
             StyleData[
             "InputForm", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["InputForm", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData["InputForm", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["OutputForm"], StyleMenuListing -> None, FontFamily -> 
             "Courier"], 
            Cell[
             StyleData[
             "OutputForm", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["OutputForm", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["OutputForm", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["StandardForm"], 
             InputAutoReplacements -> {
              "->" -> "\[Rule]", ":>" -> "\[RuleDelayed]", "<=" -> 
               "\[LessEqual]", ">=" -> "\[GreaterEqual]", "!=" -> 
               "\[NotEqual]", "==" -> "\[Equal]", ParentList}, 
             "TwoByteSyntaxCharacterAutoReplacement" -> True, 
             SingleLetterItalics -> False, StyleMenuListing -> None, 
             FontFamily -> "Courier"], 
            Cell[
             StyleData[
             "StandardForm", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "StandardForm", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "StandardForm", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["TraditionalForm"], TextClipboardType -> "PlainText", 
             InputAutoReplacements -> {
              "->" -> "\[Rule]", ":>" -> "\[RuleDelayed]", "<=" -> 
               "\[LessEqual]", ">=" -> "\[GreaterEqual]", "!=" -> 
               "\[NotEqual]", "==" -> "\[Equal]", ParentList}, 
             ShowSyntaxStyles -> False, 
             "TwoByteSyntaxCharacterAutoReplacement" -> True, 
             SingleLetterItalics -> True, TraditionalFunctionNotation -> True,
              DelimiterMatching -> None, ZeroWidthTimes -> False, 
             StyleMenuListing -> None], 
            Cell[
             StyleData[
             "TraditionalForm", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "TraditionalForm", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "TraditionalForm", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
         "The style defined below is mixed in to any cell that is in an \
inline cell within another.", "Text", 
          CellMargins -> {{24, 0}, {Inherited, Inherited}}], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["InlineCell"], TextAlignment -> Left, ScriptLevel -> 1,
              StyleMenuListing -> None], 
            Cell[
             StyleData[
             "InlineCell", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData["InlineCell", "SlideShow", StyleDefinitions -> None]], 
            
            Cell[
             StyleData["InlineCell", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["InlineCellEditing"], StyleMenuListing -> None, 
             Background -> RGBColor[1, 0.749996, 0.8]], 
            Cell[
             StyleData[
             "InlineCellEditing", "Presentation", StyleDefinitions -> None]], 
            
            Cell[
             StyleData[
             "InlineCellEditing", "SlideShow", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "InlineCellEditing", "Printout", StyleDefinitions -> None]]}, 
           Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Inline Formatting", "Section", CellFrame -> False, CellDingbat -> 
          None, ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, FontColor -> GrayLevel[1], 
          Background -> RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          StyleData["RM"], FontWeight -> "Plain", FontSlant -> "Plain"], 
         Cell[
          StyleData["MR"], 
          HyphenationOptions -> {"HyphenationCharacter" -> "\[Continuation]"},
           StyleMenuListing -> None, FontFamily -> "Courier", FontWeight -> 
          "Plain", FontSlant -> "Plain"], 
         Cell[
          StyleData["MO"], 
          HyphenationOptions -> {"HyphenationCharacter" -> "\[Continuation]"},
           StyleMenuListing -> None, FontFamily -> "Courier", FontWeight -> 
          "Plain", FontSlant -> "Oblique"], 
         Cell[
          StyleData["MB"], 
          HyphenationOptions -> {"HyphenationCharacter" -> "\[Continuation]"},
           StyleMenuListing -> None, FontFamily -> "Courier", FontWeight -> 
          "Bold", FontSlant -> "Plain"], 
         Cell[
          StyleData["MBO"], 
          HyphenationOptions -> {"HyphenationCharacter" -> "\[Continuation]"},
           StyleMenuListing -> None, FontFamily -> "Courier", FontWeight -> 
          "Bold", FontSlant -> "Oblique"], 
         Cell[
          StyleData["AboutAuthorR"], FontFamily -> "Times", FontWeight -> 
          "Plain", FontSlant -> "Plain"], 
         Cell[
          StyleData["AboutAuthorI"], FontFamily -> "Times", FontWeight -> 
          "Plain", FontSlant -> "Italic"], 
         Cell[
          StyleData["AboutAuthorB"], FontFamily -> "Times", FontWeight -> 
          "Bold", FontSlant -> "Plain"], 
         Cell[
          StyleData["AboutAuthorBI"], FontFamily -> "Times", FontWeight -> 
          "Bold", FontSlant -> "Italic"], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["MCode"], "TwoByteSyntaxCharacterAutoReplacement" -> 
             True, HyphenationOptions -> {
              "HyphenationCharacter" -> "\[Continuation]"}, LanguageCategory -> 
             "Formula", AutoSpacing -> True, ScriptLevel -> 1, 
             SingleLetterItalics -> False, SpanMaxSize -> 1, StyleMenuListing -> 
             None, FontFamily -> "Courier", 
             ButtonBoxOptions -> {Appearance -> {Automatic, None}}, 
             FractionBoxOptions -> {BaseStyle -> {SpanMaxSize -> Automatic}}, 
             GridBoxOptions -> {
              GridBoxItemSize -> {
                "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, 
                 "Rows" -> {{1.}}, "RowsIndexed" -> {}}}], 
            Cell[
             StyleData["MCode", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["Math"], DefaultFormatType -> "DefaultTextFormatType", 
             DefaultInlineFormatType -> "TraditionalForm", LanguageCategory -> 
             "Formula", AutoSpacing -> True, ScriptLevel -> 1, 
             AutoMultiplicationSymbol -> False, SingleLetterItalics -> True, 
             SpanMaxSize -> Infinity, StyleMenuListing -> None, FontFamily -> 
             "Times", ButtonBoxOptions -> {Appearance -> {Automatic, None}}, 
             GridBoxOptions -> {
              BaseStyle -> {FontFamily -> "Times"}, GridBoxDividers -> {}, 
               GridBoxItemSize -> {
                "Columns" -> {{Automatic}}, "ColumnsIndexed" -> {}, 
                 "Rows" -> {{1.}}, "RowsIndexed" -> {}}, 
               GridBoxSpacings -> {}}], 
            Cell[
             StyleData["Math", "Printout", StyleDefinitions -> None]]}, 
           Closed]]}, Closed]], 
      Cell[
       CellGroupData[{
         Cell[
         "Editorial", "Section", CellFrame -> False, CellDingbat -> None, 
          ShowCellBracket -> True, CellMargins -> {{0, 0}, {10, 40}}, 
          CellFrameMargins -> {{20, 4}, {8, 8}}, 
          CellChangeTimes -> {{3.481313643935946*^9, 3.481313646546287*^9}}, 
          FontColor -> GrayLevel[1], Background -> 
          RGBColor[0.269902, 0.558434, 0.715618]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["EditorialComment"], CellFrame -> False, CellDingbat -> 
             "\[FilledCircle]", 
             CellMargins -> {{36, 25}, {Inherited, Inherited}}, 
             LineSpacing -> {1, 1}, MenuSortingValue -> None, FontColor -> 
             RGBColor[
              0.9230792706187534, 0.3988097962920577, 0.1662928206301976], 
             Background -> GrayLevel[1]], 
            Cell[
             StyleData[
             "EditorialComment", "Presentation", StyleDefinitions -> None]], 
            Cell[
             StyleData[
             "EditorialComment", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["TextAnnotation"], CellFrame -> 1, CellFrameColor -> 
             RGBColor[0.8, 0, 0], AutoSpacing -> False, LineIndent -> 
             Automatic, FontSize -> 11, FontWeight -> "Plain", FontColor -> 
             RGBColor[0.4, 0.2, 0.2], Background -> GrayLevel[0.999]], 
            Cell[
             StyleData[
             "TextAnnotation", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["TextAnnotationButton"], Editable -> False, FontFamily -> 
             "Verdana", FontSize -> 9, 
             ButtonBoxOptions -> {
              Active -> True, Appearance -> "DialogBox", 
               ButtonFunction :> (Needs["DocuTools`"]; 
                DocuTools`GenerateAnnotationDialog[]), ButtonMargins -> 1, 
               Evaluator -> Automatic, Method -> "Queued"}], 
            Cell[
             StyleData[
             "TextAnnotationButton", "Printout", StyleDefinitions -> None]]}, 
           Closed]], 
         Cell[
          CellGroupData[{
            Cell[
             StyleData["TextAnnotationRemoveButton"], Editable -> False, 
             FontFamily -> "Verdana", FontSize -> 9, 
             ButtonBoxOptions -> {
              Active -> True, Appearance -> "DialogBox", 
               ButtonFunction :> (Needs["DocuTools`"]; 
                DocuTools`AnnotationRemove[
                 DocuTools`CalledFromFrameLabel -> True]), ButtonMargins -> 1,
                Evaluator -> Automatic, Method -> "Queued"}], 
            Cell[
             StyleData[
             "TextAnnotationRemoveButton", "Printout", StyleDefinitions -> 
              None]]}, Closed]]}, Closed]]}, Open]]}, Visible -> False, 
  FrontEndVersion -> 
  "11.1 for Microsoft Windows (64-bit) (2017\:5e745\:670816\:65e5)", 
  StyleDefinitions -> "PrivateStylesheetFormatting.nb"],
$CellContext`CreateCellID -> True,
PrivateNotebookOptions -> {"NotebookAuthor" -> ""}
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "OnlineHeader"->{
  Cell[557, 20, 189, 7, 
  26, "OnlineHeader", "ExpressionUUID" -> "779e8e5d-b9a9-4566-b169-
   bc5aa2ea7a79",
   CellTags->"OnlineHeader"]},
 "visualizefacetsurface"->{
  Cell[86422, 2007, 62, 1, 
  59, "Section", "ExpressionUUID" -> "ffe5197d-e440-43f9-9273-5cb5b7a93b4d",
   CellTags->"visualizefacetsurface"]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"OnlineHeader", 187190, 4278},
 {"visualizefacetsurface", 187360, 4283}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[557, 20, 189, 7, 26, "OnlineHeader", "ExpressionUUID" -> \
"779e8e5d-b9a9-4566-b169-bc5aa2ea7a79",
 CellTags->"OnlineHeader"],
Cell[CellGroupData[{
Cell[771, 31, 200, 3, 100, "Title", "ExpressionUUID" -> \
"526298d9-7ba5-42aa-8a15-f096009df897"],
Cell[974, 36, 217, 4, 34, "Subtitle", "ExpressionUUID" -> \
"7f8fab4a-5586-42df-b07b-66a854dcd13d"],
Cell[1194, 42, 205, 6, 43, "Author", "ExpressionUUID" -> \
"50660bc0-35b8-4f74-bd2a-af91740044d7"],
Cell[1402, 50, 1138, 34, 83, "Abstract", "ExpressionUUID" -> \
"8a0c0caf-d00f-4182-91cb-2cdcc7bed9a9"],
Cell[2543, 86, 426, 14, 25, "DisplayFormula", "ExpressionUUID" -> \
"76b89933-493d-4539-8876-c313e62a22e5"],
Cell[2972, 102, 164, 3, 45, "Abstract", "ExpressionUUID" -> \
"7d0f96a3-1a01-4a14-8624-4000289eed6a"],
Cell[CellGroupData[{
Cell[3161, 109, 191, 4, 59, "Section", "ExpressionUUID" -> \
"1a04ebe1-4f72-4ddb-bc44-65719f7c3136"],
Cell[3355, 115, 1192, 36, 41, "Text", "ExpressionUUID" -> \
"26e1d6e4-a685-45b1-9fc0-61e19afc3953",
 CellID->45678601],
Cell[CellGroupData[{
Cell[4572, 155, 937, 24, 169, "Input", "ExpressionUUID" -> \
"77022b61-3d76-4356-8aea-e93de9d299a5",
 CellID->399860821],
Cell[5512, 181, 245, 3, 32, "Output", "ExpressionUUID" -> \
"c40d6366-7a9b-4288-abff-c5a608cff9aa",
 CellID->14541956],
Cell[5760, 186, 245, 3, 32, "Output", "ExpressionUUID" -> \
"53bf7571-f948-4f7e-b876-c7bd6cf713a1",
 CellID->337778879],
Cell[6008, 191, 13799, 185, 1185, "Output", "ExpressionUUID" -> \
"43f2cd2f-5012-480b-a233-f0737ab91613",
 CellID->309801784],
Cell[19810, 378, 11159, 147, 645, "Output", "ExpressionUUID" -> \
"0824075c-4731-4cb9-9ae6-42b6d9e8923b",
 CellID->125270317]
}, Open  ]],
Cell[30984, 528, 239, 3, 23, "Text", "ExpressionUUID" -> \
"71531f35-303e-41aa-863e-a7bb5e341311",
 CellID->19326491],
Cell[31226, 533, 3957, 98, 70, "Theorem", "ExpressionUUID" -> \
"bfd44d82-1a4b-4635-9735-b3ef7b1c2f58",
 CellID->271777117],
Cell[35186, 633, 638, 18, 26, "Text", "ExpressionUUID" -> \
"3147ecd3-2f90-4237-9c11-971b80328315",
 CellID->35315799],
Cell[35827, 653, 811, 13, 41, "Text", "ExpressionUUID" -> \
"b98be198-94bf-4322-8347-2f6e722603f5",
 CellID->8005868],
Cell[36641, 668, 704, 20, 23, "Text", "ExpressionUUID" -> \
"b3d45b8e-4cf9-46aa-bbdc-c1dce1c7b1b4",
 CellID->797983325],
Cell[37348, 690, 137, 2, 23, "Text", "ExpressionUUID" -> \
"31b0fc02-89dd-49ff-b952-cd24f5ecf688",
 CellID->275193373],
Cell[37488, 694, 443, 8, 41, "Text", "ExpressionUUID" -> \
"79cc78e9-4a58-4425-a9a0-20c61603c4bb",
 CellID->637171382]
}, Open  ]],
Cell[CellGroupData[{
Cell[37968, 707, 345, 6, 59, "Section", "ExpressionUUID" -> \
"b7839b20-8870-417b-bc92-db56b686222f",
 CellID->526073074],
Cell[38316, 715, 1711, 42, 59, "Text", "ExpressionUUID" -> \
"8efb809d-03fd-4820-bd02-0a1c0efe6216",
 CellID->271855717],
Cell[CellGroupData[{
Cell[40052, 761, 1923, 50, 223, "Input", "ExpressionUUID" -> \
"f743f400-4a77-438b-b5bf-983dd9f99b5d",
 CellID->667105336],
Cell[41978, 813, 426, 6, 32, "Output", "ExpressionUUID" -> \
"c4c20f6f-921c-4c9c-828f-5498c1e45474",
 CellID->499519727],
Cell[42407, 821, 8932, 222, 162, "Output", "ExpressionUUID" -> \
"46eaa031-9929-4a42-a35f-07d29f42abcb",
 CellID->144814304],
Cell[51342, 1045, 448, 7, 32, "Output", "ExpressionUUID" -> \
"3d88b8fa-1f96-4bf0-a9e7-bd8c9d17a692",
 CellID->101295970],
Cell[51793, 1054, 498, 9, 32, "Output", "ExpressionUUID" -> \
"2560bba3-b21a-4c13-b73d-f602e4d88f2b",
 CellID->57235802]
}, Open  ]],
Cell[52306, 1066, 1823, 43, 95, "Text", "ExpressionUUID" -> \
"5abf2b65-b9aa-42c8-a54f-4922b7597ea8"],
Cell[CellGroupData[{
Cell[54154, 1113, 1655, 46, 223, "Input", "ExpressionUUID" -> \
"f9f2a193-5876-4dc8-9f9e-1e4fd9928faf",
 CellID->275452656],
Cell[55812, 1161, 272, 4, 32, "Output", "ExpressionUUID" -> \
"509a6062-64e5-49f1-8930-2f9b18407d2f",
 CellID->574831297],
Cell[56087, 1167, 8718, 217, 166, "Output", "ExpressionUUID" -> \
"496d1368-c94a-4eb6-ad00-5e15e061ae64",
 CellID->535660661],
Cell[64808, 1386, 273, 4, 32, "Output", "ExpressionUUID" -> \
"5d01f2d7-65a4-48ab-a3fd-b9fa922dcf6a",
 CellID->747933148],
Cell[65084, 1392, 320, 6, 32, "Output", "ExpressionUUID" -> \
"7ce21e0e-05f0-4bcc-99bc-22b82fccace8",
 CellID->518159861]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[65453, 1404, 605, 15, 59, "Section", "ExpressionUUID" -> \
"08070699-d3a3-4f4c-b86b-698eb489be70",
 CellID->3582979],
Cell[66061, 1421, 1930, 48, 59, "Text", "ExpressionUUID" -> \
"595e1ac9-d32d-4ae3-8aa4-8372f1d3977f",
 CellID->222265826],
Cell[CellGroupData[{
Cell[68016, 1473, 2037, 56, 275, "Input", "ExpressionUUID" -> \
"e32cb34f-5d9b-453d-8a59-f790f5bc9219",
 CellID->16743202],
Cell[70056, 1531, 318, 4, 32, "Output", "ExpressionUUID" -> \
"39c614b6-9a42-4bfc-94bc-57b256db8bf5",
 CellID->556039943],
Cell[70377, 1537, 366, 6, 32, "Output", "ExpressionUUID" -> \
"00b2a2ec-4e3a-4f5f-b98f-1fd497cd7dd5",
 CellID->206379645],
Cell[70746, 1545, 313, 4, 32, "Output", "ExpressionUUID" -> \
"1138e2c3-6d3d-428a-89d1-13a3b12fc14e",
 CellID->171224406],
Cell[71062, 1551, 14631, 436, 753, "Output", "ExpressionUUID" -> \
"06baee60-6243-43ca-af53-1ab954eee941",
 CellID->136965455],
Cell[85696, 1989, 315, 4, 32, "Output", "ExpressionUUID" -> \
"0fe26ab6-2ee9-4629-aaf8-6d62d513a689",
 CellID->196526326],
Cell[86014, 1995, 359, 6, 32, "Output", "ExpressionUUID" -> \
"5bd15949-4df2-4b0d-a0e6-e382a5a92e64",
 CellID->64896502]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[86422, 2007, 62, 1, 59, "Section", "ExpressionUUID" -> \
"ffe5197d-e440-43f9-9273-5cb5b7a93b4d",
 CellTags->"visualizefacetsurface"],
Cell[86487, 2010, 40, 0, 23, "Text", "ExpressionUUID" -> \
"08099244-d3e3-4875-af95-07ebfd8ca517"]
}, Open  ]],
Cell[CellGroupData[{
Cell[86564, 2015, 29, 0, 59, "Section", "ExpressionUUID" -> \
"ac451e7a-371d-4539-90d0-1fe6ecc775b5"],
Cell[86596, 2017, 43, 0, 23, "Text", "ExpressionUUID" -> \
"2033b131-9bbd-46bd-9aa5-d0e359eed4b7"]
}, Open  ]],
Cell[CellGroupData[{
Cell[86676, 2022, 27, 0, 59, "Section", "ExpressionUUID" -> \
"62c4662d-1aca-405d-af33-45c8c51b21cf"],
Cell[86706, 2024, 41, 0, 23, "Text", "ExpressionUUID" -> \
"102202ce-219c-403f-897d-f74dd1d85b0c"],
Cell[86750, 2026, 180, 5, 37, "DisplayFormula", "ExpressionUUID" -> \
"58edf222-7af6-4d1a-a8e5-3e8fc0e2a397"]
}, Open  ]],
Cell[CellGroupData[{
Cell[86967, 2036, 34, 0, 59, "Section", "ExpressionUUID" -> \
"deffb648-6dde-40b8-aa47-2f9d5c0f8807"],
Cell[87004, 2038, 47, 0, 23, "Text", "ExpressionUUID" -> \
"3069ba0f-44fe-461c-a49e-66771efb0c86"]
}, Open  ]],
Cell[CellGroupData[{
Cell[87088, 2043, 49, 1, 59, "Section", "ExpressionUUID" -> \
"9fd87d5d-0e03-46a1-8319-d130eab5cde0",
 CellID->496069258],
Cell[87140, 2046, 200, 3, 21, "Reference", "ExpressionUUID" -> \
"ce4886b4-f09c-4a57-9450-e26dfa672f6d"],
Cell[87343, 2051, 195, 5, 21, "Reference", "ExpressionUUID" -> \
"0768e7db-e4e4-41c3-a992-efeb904233a5"],
Cell[87541, 2058, 159, 4, 21, "Reference", "ExpressionUUID" -> \
"549e2f05-d144-42e8-bf60-78caa0a9c119"]
}, Open  ]],
Cell[CellGroupData[{
Cell[87737, 2067, 47, 0, 55, "SectionAboutAuthor", "ExpressionUUID" -> \
"e6a5b34c-9bbd-4d35-b529-52b1ec95dd63"],
Cell[87787, 2069, 126, 0, 22, "TextAboutAuthor", "ExpressionUUID" -> \
"8039d2d1-a9fb-4978-bfbc-8151f3b6c80c"],
Cell[87916, 2071, 139, 1, 22, "TextAboutAuthor", "ExpressionUUID" -> \
"48a79356-1eb5-48a9-beeb-4f44383bf0af"],
Cell[88058, 2074, 643, 14, 86, "TextAboutAuthor", "ExpressionUUID" -> \
"0f3f7b2a-b48a-4795-aefe-db9b8c96dfdf",
 CellID->1328340278],
Cell[88704, 2090, 225, 5, 38, "TextAboutAuthor", "ExpressionUUID" -> \
"1df07a69-d842-4929-8b9a-ec47975d1cbc",
 CellID->175058134]
}, Open  ]]
}, Open  ]]
}
]
*)

